<?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.2013.32025</article-id><article-id pub-id-type="publisher-id">JMF-31802</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>
 
 
  Mixed Band Control of Mutual Proportional Reinsurance
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>ichael</surname><given-names>Taksar</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>John</surname><given-names>Liu</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Jiguang</surname><given-names>Yuan</given-names></name><xref ref-type="aff" rid="aff3"><sup>3</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>College of Business, City University of Hong Kong, Hong Kong, China</addr-line></aff><aff id="aff3"><addr-line>Center for Transport, Trade and Financial Studies, City University of Hong Kong, Hong Kong, China</addr-line></aff><aff id="aff1"><addr-line>Department of Mathematics, University of Missouri, Columbia, USA</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>liujjp@gmail.com(JL)</email>;<email>laser.yuan@gmail.com(JY)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>24</day><month>05</month><year>2013</year></pub-date><volume>03</volume><issue>02</issue><fpage>256</fpage><lpage>267</lpage><history><date date-type="received"><day>January</day>	<month>3,</month>	<year>2013</year></date><date date-type="rev-recd"><day>March</day>	<month>26,</month>	<year>2013</year>	</date><date date-type="accepted"><day>April</day>	<month>9,</month>	<year>2013</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, we investigate the optimization of mutual proportional reinsurance—a mutual reserve system that is in- tended for the collective reinsurance needs of homogeneous mutual members, such as P&amp;I Clubs in marine mutual in- surance and reserve banks in the US Federal Reserve, where a mutual member is both an insurer and an insured. Compared to general (non-mutual) insurance models, which involve one-sided impulse control (i.e., either downside or upside impulse) of the underlying insurance reserve process that is required to be positive, a mutual insurance differs in allowing two-sided impulse control (i.e., both downside and upside impulse), coupled with the classical proportional control of reinsurance. We prove that a special band-type impulse control (<em>a</em>, A, B, b) with <em>a</em>=0 and <em>a</em>&lt;A&lt;B&lt;b, coupled with a proportional reinsurance policy (classical control), is optimal when the objective is to minimize the total maintenance cost. That is, when the reserve position reaches a lower boundary of a=0, the reserve should immedi- ately be raised to level A; when the reserve reaches an upper boundary of b, it should immediately be reduced to a level B. An interesting finding produced by the study reported in this paper is that there exists a situation such that if the up- side fixed cost is relatively large in comparison to a finite threshold, then the optimal band control is reduced to a downside only (i.e., dividend payment only) control in the form of (0, 0; B, b) with <em>a</em>=A=0. In this case, it is opti- mal for the mutual insurance firm to go bankrupt as soon as its reserve level reaches zero, rather than to jump restart by calling for additional contingent funds. This finding partially explains why many mutual insurance companies, that were once quite popular in the financial markets, are either disappeared or converted to non-mutual ones.  
    
 
</p></abstract><kwd-group><kwd>Insurance and Risk Management; Dynamic Programming and Control</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>This study is motivated by the long lasting while still strong-going success of marine mutual insurance (e.g., a P&amp;I club of ship owners), the longest in the insurance business with a history of over 200 years; and by the still unanswered question why the once popular mutual insurance firms almost disappeared after 1990’s, either went bankrupt or converted to commercial (non-mutual) insurance business. A client of a mutual insurance is both insurer and insured, under a unique contingent regulation scheme of two-way impulse control (termed band control) which we give a brief description as follows. A mutual insurance firm is allowed: 1) to make calls for contingent injection from its clients once the reserve level is considered too low, as opposed to a commercial (non-mutual) insurance firm which would go bankrupt once its reserve becomes depleted; 2) or to make refunds (pay dividends) to its clients if the reserve is considered too high. We shall note that it is also permissible to adjust premium rate and liability policy in the continuous time horizon in conjunction of the band control as just mentioned, which in this case is referred to as a mixed band control of insurance reserves (i.e., a band type impulse control mixed with time-continuous classical control of a reserve process). Although in practice, mutual insurance engages mixed band control, most studies in the current literature are focused on the band control only, without classical control (e.g., with given constant premium rate, see [1,2] for reference). In this paper we consider mixed band control of mutual reinsurance which provides insurance to other mutual insurance firms, such as P&amp;I clubs, of which each insures a number of ship-owners.</p><p>Reinsurance has been long investigated as an intrinsic part of commercial insurance, of which the mainstream modeling framework is profit maximization with the one-sided impulse control of an underlying reserve process. There are two types of one-sided impulse control: downside-only impulse control (such as a dividend payment) with a fixed cost <img src="3-1490137\e0db3086-ef91-4580-bb43-fc068522b89e.jpg" /> (e.g., Cadenillas et al. [<xref ref-type="bibr" rid="scirp.31802-ref3">3</xref>], Hojgaard and Taksar [<xref ref-type="bibr" rid="scirp.31802-ref4">4</xref>]) and upside-only impulse control (such as inventory ordering) with a fixed cost <img src="3-1490137\2523a74c-3fc0-4bc2-90d8-3e3cf273b324.jpg" /> (e.g., Bensoussan et al. [<xref ref-type="bibr" rid="scirp.31802-ref2">2</xref>], Eisenberg and Schmidli [<xref ref-type="bibr" rid="scirp.31802-ref5">5</xref>], Sulem [<xref ref-type="bibr" rid="scirp.31802-ref6">6</xref>]). In this paper, we examine mutual proportional reinsurance—a mutual reserve system that is intended for the collective reinsurance needs of homogeneous mutual members, such as the P&amp;I Clubs in marine mutual insurance (e.g., Yuan [<xref ref-type="bibr" rid="scirp.31802-ref7">7</xref>]) and the reserve banks in the US Federal Reserve (e.g., Dawande et al. [<xref ref-type="bibr" rid="scirp.31802-ref8">8</xref>]). A mutual insurance differs from a general (non-mutual) insurance in two key dimensions: 1) a mutual system is not for profit, and 2) a mutual reserve involves two-sided impulse control (i.e., both a dividend refund as a downside impulse to decrease the reserve with cost <img src="3-1490137\115a61f2-e96a-4c38-8cc5-c87f36db5144.jpg" /> and a call for funds as an upside impulse to increase the reserve with cost<img src="3-1490137\cc89e352-7b5a-436a-bb61-febd8e59e700.jpg" />). It should be noted that the reserve process for a general insurance must always be positive (above zero), and the insurance firm is considered bankrupt as soon as its reserve falls to zero.</p><p>The mutual proportional reinsurance model developed in this paper is a generalization of the proportional reinsurance models (e.g., Cadenillas et al. [<xref ref-type="bibr" rid="scirp.31802-ref3">3</xref>], Hojgaard and Taksar [<xref ref-type="bibr" rid="scirp.31802-ref4">4</xref>], Eisenberg and Schmidli [<xref ref-type="bibr" rid="scirp.31802-ref5">5</xref>], L&#248;kka and Zervos [<xref ref-type="bibr" rid="scirp.31802-ref9">9</xref>]) and is modified with the two differing characteristics noted above. More specifically, the proportional reinsurance rate can be adjusted in continuous time, and the underlying mutual reserve process is regulated by a two-sided impulse control in terms of a contingent dividend payment (i.e., a downside impulse control to decrease the mutual reserve level) and contingent call for contributions (i.e., an upside impulse control to increase the mutual reserve level). The corresponding mathematical problem for mutual proportional reinsurance becomes a two-sided impulse control system combined with a classical rate control in continuous time, a problem yet to be posed in insurance research. A problem that involves a mix of impulse control and classical control is termed a hybrid control problem in control theory, of which the difficulty has been well noted (e.g., Bensoussanand Menaldi [<xref ref-type="bibr" rid="scirp.31802-ref10">10</xref>], Branicky, Borkarand Mitter [<xref ref-type="bibr" rid="scirp.31802-ref11">11</xref>], Abate et al. [<xref ref-type="bibr" rid="scirp.31802-ref12">12</xref>]).</p><p>A pure two-sided impulse control problem (i.e., without a classical rate control) was investigated by Constantinides [<xref ref-type="bibr" rid="scirp.31802-ref13">13</xref>] in the form of cash management. Constantinides and Richard [<xref ref-type="bibr" rid="scirp.31802-ref1">1</xref>] showed an optimal two-sided impulse control policy to exist in the form of a band control, denoted with four parameters as <img src="3-1490137\9021d2bd-fa77-4b30-b81a-9497d70ed570.jpg" /> with<img src="3-1490137\00167e10-c41e-416d-89d5-de278e43a435.jpg" />. In other words, when the reserve position reaches a lower boundary a, then the reserve should immediately be raised to level A; when the reserve reaches upper boundary b, it should immediately be reduced to level B. For our mutual proportional reinsurance problem, we specify the corresponding Hamilton-Jacobi-Bellman (HJB) equation and the associated quasi-variational inequalities (QVI), from which we analytically solve the optimal value function. We then prove that a special band-type impulse control <img src="3-1490137\367a4bc4-b466-4fdc-8684-a437fa7dadb8.jpg" /> with<img src="3-1490137\ab856c23-1de3-42cc-b7b2-52d6027dfa82.jpg" />, combined with a proportional reinsurance policy (classical control), is optimal when the objective is to minimize the total maintenance cost. An interesting finding reported here is that there exists a situation such that if the upside fixed cost <img src="3-1490137\fe923226-a32b-46c8-9f49-a847d08ce463.jpg" /> is relatively large in comparison to a finite threshold<img src="3-1490137\995d1071-4806-4020-b7d9-292113b4c921.jpg" />, then the optimal band control is reduced to a downside only (i.e., a dividend payment only) control in the form of <img src="3-1490137\1463566e-3809-4be2-a7c2-8df3d9a34898.jpg" /> with<img src="3-1490137\cc786461-7e81-4002-b218-8036fc3e1637.jpg" />. In this case, it is optimal for the mutual insurance to go bankrupt as soon as its reserve level falls to zero, rather than to restart by calling for additional contingent funds. This finding partially explains why many mutual insurance companies, that were once quite popular in the financial markets, are either disappeared or converted to non-mutual ones.</p><p>The remainder of the paper is organized as follows. In Section 2, we formulate the mathematical model and specify the HJB equation and the QVI of the corresponding stochastic control problem. We solve the QVI for the optimal value function in Section 3. In Section 3.2, we characterize and analyze the threshold<img src="3-1490137\0df739a0-4bfc-462c-8872-18d175500a84.jpg" />. In Section 4, we prove the verification theorem and verify the optimal control. Finally, we make concluding remarks in Section 5.</p></sec><sec id="s2"><title>2. The Model</title><sec id="s2_1"><title>2.1. Feasible Control</title><p>The classical Cramer-Lundberg model of an insurance reserve (surplus) is described via a compound Poisson process:</p><p><img src="3-1490137\079c1b30-8a7c-4b2e-b972-602698ab7ba9.jpg" /></p><p>where <img src="3-1490137\aac96f80-f71e-49f8-a5d0-793f3a38573c.jpg" /> is the amount of the surplus available at time<img src="3-1490137\68c6739e-0758-4649-9ebe-885fbda0c487.jpg" />, quantity <img src="3-1490137\1f33ef45-b7b8-4938-8edc-65a3d3b07dc4.jpg" /> represents the premium rate, <img src="3-1490137\e0caa7d5-b08c-4be3-876f-05716619ced2.jpg" />is the Poisson process of incoming claims and <img src="3-1490137\dcd417ba-f12b-47c5-b0b6-ac49ff6387fd.jpg" /> is the size of the ith claim. This surplus process can be approximated by a diffusion process with drift <img src="3-1490137\fba3982c-c22a-449b-b696-0a3ed6c5d188.jpg" /> and diffusion coefficient<img src="3-1490137\05ad321a-a8cb-47b1-baea-b8e2bea12400.jpg" />, where <img src="3-1490137\2271d80a-0767-45a9-8f6c-b959ab956db8.jpg" /> is the intensity of the Poisson process<img src="3-1490137\4d05be0b-e29d-4c5e-a2ee-f9997331cc1c.jpg" />. We assume that the insurer always sets <img src="3-1490137\f4b6bdeb-a142-4a73-9c0b-cfba53d91eb2.jpg" /> (i.e.<img src="3-1490137\803762bd-171a-4c32-b16d-23ebc3e5ca94.jpg" />). Thus, with no control, the reserve process <img src="3-1490137\9e8017ff-7b8d-4c4e-92e6-6cda9ae423e5.jpg" /> is described by</p><disp-formula id="scirp.31802-formula75030"><label>(2.1)</label><graphic position="anchor" xlink:href="3-1490137\0c5445f6-22b6-4130-9a74-2c2f14c3f7e7.jpg"  xlink:type="simple"/></disp-formula><p>where <img src="3-1490137\d4a1a359-e33b-44da-abc9-9a76257d0373.jpg" /> is a standard Brownian motion.</p><p>We start with a probability space<img src="3-1490137\7f671961-c37a-4ea3-b598-24feb9447660.jpg" />, that is endowed with information filtration <img src="3-1490137\c3b60d99-84d8-404d-b369-a5a16cec264d.jpg" /> and a standard Brownian motion <img src="3-1490137\44bd58f0-1e7c-4243-9a74-e9f6f72120af.jpg" /> on <img src="3-1490137\134af033-29e8-49a9-983f-3b13b695faf6.jpg" /> adapted to<img src="3-1490137\cab2b38f-1d9e-4de4-b82e-198916b81f1a.jpg" />. Two types of controls are used in this model. The first is related to the ability to directly control its reserve by raising cash from or making refunds to members at any particular time. The second is related to the mutual insurance firm’s ability to delegate all or part of its risk to a reinsurance company, simultaneously reducing the incoming premium (all or part of which is in this case channeled to the reinsurance company). In this model, we consider a proportional reinsurance scheme. This type of scheme corresponds to the original insurer paying u fraction of the original claim. The premium rate coming to the original insurer is simultaneously reduced by the same fraction. The reinsurance rate can be chosen dynamically depending on the situation.</p><p>Mathematically, control U takes a triple form:</p><disp-formula id="scirp.31802-formula75031"><label>(2.2)</label><graphic position="anchor" xlink:href="3-1490137\893a70c6-4451-4216-9d00-9330f27faed3.jpg"  xlink:type="simple"/></disp-formula><p>where <img src="3-1490137\a4d783b5-3526-4c06-acc9-4f1420ba27b9.jpg" /> is a predictable process with respect to<img src="3-1490137\1fbdc817-c968-475e-87cf-b10a61103196.jpg" />, the random variables <img src="3-1490137\257c03f5-cd19-41cf-9ea0-0724e6bda9d7.jpg" /> constitute an increasing sequence of stopping times with respect to<img src="3-1490137\292ed82f-6725-45fa-a397-2d6046d98057.jpg" />, and <img src="3-1490137\34d341d0-6940-4627-b346-fa21c41d44f2.jpg" /> is a sequence of <img src="3-1490137\f8db1187-0c40-44ad-8bfa-a7b81bd7391a.jpg" />-measurable random variables,<img src="3-1490137\5b0ba418-9c69-4ae7-85ba-eb532320a306.jpg" />.</p><p>The meaning of these controls is as follows. The quantity <img src="3-1490137\af9f9529-0821-4e0b-8878-e111ca02c35c.jpg" /> represents the fraction (reinsurance share) of the premium and risk (loss) incurred by the mutual insurance at time<img src="3-1490137\d0830ea4-2a47-493f-8211-52682942aa1d.jpg" />. Suppose that <img src="3-1490137\3f0a12f3-edd1-4fb5-9430-307383f76eb5.jpg" /> is chosen at time<img src="3-1490137\935e9988-b8ba-46b4-9436-7b796f298620.jpg" />. Then, in the diffusion approximation (2.1), drift <img src="3-1490137\83555ade-6d88-4467-89f8-aee4fcbefe76.jpg" /> and diffusion coefficient <img src="3-1490137\1350bd87-7838-45f7-8027-735770003af2.jpg" /> are reduced by factor <img src="3-1490137\d74cfb1b-11af-4831-952b-49255ca57421.jpg" /> (see Cadenillas et al. [<xref ref-type="bibr" rid="scirp.31802-ref14">14</xref>], Hojgaard and Taksar [<xref ref-type="bibr" rid="scirp.31802-ref4">4</xref>]).</p><p>The fact that the process <img src="3-1490137\acd910ac-9162-425c-937c-48a5025371ad.jpg" /> is adapted to information filtration means that any decision has to be made on the basis of past rather than the future information. The stopping times <img src="3-1490137\3307285f-e9ba-4745-b9c2-ed18a0992ee5.jpg" /> represent the times when the ith intervention to change the reserve level is made. If<img src="3-1490137\8c28e37a-acbc-4311-b38e-0dade8ea0051.jpg" />, then the decision is to raise cash by calling the members/ clients. If<img src="3-1490137\806d5a40-ee8f-4850-bdaf-5348fd6fa028.jpg" />, then the decision is to make a refund. The fact that <img src="3-1490137\fec4303c-81e1-41aa-ab2e-3786c800edfe.jpg" /> is a stopping time and <img src="3-1490137\6e9fabe4-3d93-41c9-94b1-9c3c78d6a3e5.jpg" /> is <img src="3-1490137\890bef5b-0f44-4793-a1a4-702c54b1c882.jpg" /> measurable also indicates that the decisions concerning when to make a contingent call and how much cash to raise are made on the basis of only past information. The same applies to the refund decisions.</p><p>Once control U is chosen, the dynamics of the reserve process becomes:</p><disp-formula id="scirp.31802-formula75032"><label>(2.3)</label><graphic position="anchor" xlink:href="3-1490137\143477d0-633e-4465-90ad-068077821b36.jpg"  xlink:type="simple"/></disp-formula><p>Define the ruin time as</p><disp-formula id="scirp.31802-formula75033"><label>(2.4)</label><graphic position="anchor" xlink:href="3-1490137\c7e575cd-57c0-46af-b586-b68dd6480c46.jpg"  xlink:type="simple"/></disp-formula><p>Control <img src="3-1490137\0ff15e18-7887-4797-bd87-01e31b53cfb5.jpg" /> is called admissible for initial position <img src="3-1490137\1de03e23-2d6e-4539-aa22-1c1e3371a924.jpg" /> if, for <img src="3-1490137\196653ee-f76a-4197-9d7c-aaca54c2a7a0.jpg" /> for any<img src="3-1490137\b80046ca-a3ab-4be1-b566-1b9502a07496.jpg" />,</p><disp-formula id="scirp.31802-formula75034"><label>(2.5)</label><graphic position="anchor" xlink:href="3-1490137\23f85b2f-3c01-483f-9230-a1eb0e7f65f3.jpg"  xlink:type="simple"/></disp-formula><p>and if</p><disp-formula id="scirp.31802-formula75035"><label>(2.6)</label><graphic position="anchor" xlink:href="3-1490137\32d1dd98-c385-48c3-a696-55b04f1dfbd7.jpg"  xlink:type="simple"/></disp-formula><p>We denote the set of all admissible controls by<img src="3-1490137\b113cd92-7230-41bb-9268-ea0f762320bb.jpg" />.</p><p>The meaning of admissibility is as follows. At any time the decision to make a refund is made, the refund amount cannot exceed the available reserve. As can be seen in the following, if this condition is not satisfied, then one can always achieve a cost equal to<img src="3-1490137\fb55e860-2185-4c70-b7d8-8c414e17d59c.jpg" />, simply by making an infinitely large refund. The second condition of admissibility is a rather natural technical condition of integrability.</p></sec><sec id="s2_2"><title>2.2. Cost Structure and Value Function</title><p>The objective in this model is to minimize the operational cost and the lost opportunity to invest the money in the market. Cost function <img src="3-1490137\91f5eaf4-4c7f-4a92-88fa-8efd1e80666a.jpg" /> is defined as</p><disp-formula id="scirp.31802-formula75036"><label>(2.7)</label><graphic position="anchor" xlink:href="3-1490137\a947d02d-4a58-4a47-9797-ff39d73cbfa8.jpg"  xlink:type="simple"/></disp-formula><p>Here, <img src="3-1490137\33cd73a8-d49c-4352-b8f1-3ea952011488.jpg" />and <img src="3-1490137\46b25ec2-fdcf-4eb1-9482-5b6e0b50a47f.jpg" /> denote the positive and negative components of<img src="3-1490137\03a65997-557e-4ae8-bfca-31b447097eb3.jpg" />, that is, <img src="3-1490137\e426b3fe-de06-4574-acee-36006c43c10e.jpg" />and <img src="3-1490137\e658e271-c1c6-451b-a475-0716ffa52943.jpg" />. The costs associated with refunds are of a different nature. A contingent call always increases the total cost, whereas a refund decreases it. However fixed set-up costs <img src="3-1490137\94eaa88c-c5d4-40b3-ade6-e0721c8e1058.jpg" /> and <img src="3-1490137\680ce84c-0e99-41d5-a86d-060c675db164.jpg" /> are incurred regardless of of the size of a contingent call or a refund. In addition, when the call is made and the cash is raised, there is a proportional cost associated with the amount raised. The constant <img src="3-1490137\3d4e94b7-3955-4c16-b221-dcd360261b9f.jpg" /> represents the amount of cash that needs to be raised in order for one dollar to be added to the reserve. If the reserve is used for a refund, then a part of it may be charged as tax. The constant <img src="3-1490137\7ad49259-6472-408e-b901-b5fd0fec1cd3.jpg" /> represents the amount actually received by the shareholders for each dollar taken from the reserve.</p><p>Given a discount rate r, the cost functional associated with the control U is defined as</p><disp-formula id="scirp.31802-formula75037"><label>(2.8)</label><graphic position="anchor" xlink:href="3-1490137\5bc5a206-a9a0-4f76-8771-d6a699b90c0f.jpg"  xlink:type="simple"/></disp-formula><p>The objective is to find the value function,</p><disp-formula id="scirp.31802-formula75038"><label>(2.9)</label><graphic position="anchor" xlink:href="3-1490137\36872ee3-dad9-40e7-87e2-34551d69acea.jpg"  xlink:type="simple"/></disp-formula><p>and optimal control<img src="3-1490137\5de68f5e-9745-484b-a2cc-7e737191e037.jpg" />, such that</p><p><img src="3-1490137\02a3d1a5-d3b8-4085-a530-94bb97fb5137.jpg" /></p></sec><sec id="s2_3"><title>2.3. Variational Inequalities for the Optimal Value Function</title><p>For each<img src="3-1490137\31580540-fa9b-4a4d-bb79-783a2ca31e55.jpg" />, define the infinitesimal generator<img src="3-1490137\a086c0cf-89bc-4dd5-8c87-740ff8b046ef.jpg" />. For any twice continuously differentiable function <img src="3-1490137\19d52aad-e736-4ada-a6db-bccb53982ade.jpg" /></p><disp-formula id="scirp.31802-formula75039"><label>(2.10)</label><graphic position="anchor" xlink:href="3-1490137\9f388e28-ba87-411a-a7e0-e56affff7bab.jpg"  xlink:type="simple"/></disp-formula><p>Let <img src="3-1490137\51baeaac-60f5-4d91-9dd9-63ee592ce32a.jpg" /> be the inf-convolution operator, defined as</p><disp-formula id="scirp.31802-formula75040"><label>(2.11)</label><graphic position="anchor" xlink:href="3-1490137\712a827f-32fe-4bd2-a444-e3fb58e51c5e.jpg"  xlink:type="simple"/></disp-formula><p>Definition 2.1. The QVI of the control problem are</p><disp-formula id="scirp.31802-formula75041"><label>(2.12)</label><graphic position="anchor" xlink:href="3-1490137\a230dac3-e64a-49ff-94b3-077402152a9c.jpg"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.31802-formula75042"><label>(2.13)</label><graphic position="anchor" xlink:href="3-1490137\d6d16165-3c2b-4322-a4d7-36164b34cec2.jpg"  xlink:type="simple"/></disp-formula><p>together with the tightness condition</p><disp-formula id="scirp.31802-formula75043"><label>(2.14)</label><graphic position="anchor" xlink:href="3-1490137\3c53e4d5-839c-4e5b-8f3d-cba75bc29600.jpg"  xlink:type="simple"/></disp-formula></sec></sec><sec id="s3"><title>3. Solution of the QVI</title><p>Before you begin to format your paper, first write and save the content as a separate text file. Keep your text and graphic files separate until after the text has been formatted and styled. Do not use hard tabs, and limit use of hard returns to only one return at the end of a paragraph. Do not add any kind of pagination anywhere in the paper. Do not number text heads—the template will do that for you.</p><p>Finally, complete content and organizational editing before formatting. Please take note of the following items when proofreading spelling and grammar:</p><sec id="s3_1"><title>3.1. The HJB Equation in the Continuation Region</title><p>In this model, the application of the control that is related to calls and refunds results in a jump in the reserve process. This type of model is considered in the framework of the so-called impulse control. Because we also have a control whose application changes the drift and the diffusion coefficient of the controlled process, the resulting mathematical problem becomes a mixed regular-impulse control problem (e.g., Cadenillas et al. [<xref ref-type="bibr" rid="scirp.31802-ref14">14</xref>]). In the case of a pure impulse control, the optimal policy is of the <img src="3-1490137\d0ccfda8-90d6-474a-9ec4-260fafd7fa75.jpg" /> type, where the four parameters used to construct the optimal control must be computed as a part of a solution to the problem (see Cadenillas and Zapatero [<xref ref-type="bibr" rid="scirp.31802-ref15">15</xref>], Constantinides and Richard [<xref ref-type="bibr" rid="scirp.31802-ref10">10</xref>], Harrison and Taylor [<xref ref-type="bibr" rid="scirp.31802-ref16">16</xref>], and Paulsen [<xref ref-type="bibr" rid="scirp.31802-ref17">17</xref>]). Parameters <img src="3-1490137\f85899ab-e423-4357-96b2-10d8a505125a.jpg" /> and <img src="3-1490137\277d93aa-52c7-4d38-88eb-85e11b29d85d.jpg" /> represent the levels at which the intervention (application of impulses) must be made, whereas <img src="3-1490137\256d37bf-7ff3-405f-85c1-6d6c59eb52d8.jpg" /> and <img src="3-1490137\3111d910-5bd1-4535-8758-3adbab3ed269.jpg" /> stand for the positions that the controlled process must be in after the intervention is made. This is a so-called band-type policy, with <img src="3-1490137\fb13243c-380d-4172-80b1-9de7c01694b1.jpg" /> and <img src="3-1490137\625bb078-dc4e-40c6-bc3e-eb0477ea54df.jpg" /> understood as the two bands that determine the nature of the optimal control. The interval <img src="3-1490137\1fd19b64-fa01-469a-931d-6905a82883b2.jpg" /> is called the continuation region. When the process falls inside the continuation region, no interventions/impulses are applied. When an intervention is initiated, the time when the process reaches one of the boundaries of the continuation region corresponds to one of<img src="3-1490137\3c19290a-48ba-4a14-8d31-1914ca139843.jpg" />.</p><p>We conjecture that, in our case, the optimal intervention (impulse control) component of the problem is also of the band type. Moreover, as the following analysis implicitly shows, we can narrow our search for the optimal policy to a special band-type control<img src="3-1490137\81a1b416-013d-42d6-bafc-10bec1fa2f9a.jpg" />, where the level <img src="3-1490137\ba2b3753-2d2b-44e3-bae3-112c9c6cb9ca.jpg" /> associated with the contingent calls is set to zero. Therefore, only three of the four band-type policy parameters remain unknown. After finding these parameters (and determining the optimal drift/diffusion control in the continuation region), we will see that the cost function associated with this policy satisfies the QVI.</p><p>The derivation of the value function is similar to [<xref ref-type="bibr" rid="scirp.31802-ref3">3</xref>] and [<xref ref-type="bibr" rid="scirp.31802-ref14">14</xref>].Suppose that <img src="3-1490137\a4c58294-4925-460e-be5a-e2aa4447e8a8.jpg" /> satisfies all of the QVI conditions: (2.12), (2.13) and (2.14). First note that the function <img src="3-1490137\1e317b20-41ca-4997-92c5-76b6eb439e49.jpg" /> is a decreasing function of<img src="3-1490137\72a34f28-29d2-42da-afeb-81b8599aa522.jpg" />, and thus<img src="3-1490137\c946bc0c-29f8-49b9-8c41-dfc2420951c7.jpg" />. To satisfy (2.14), for any<img src="3-1490137\326c0ac3-80aa-4252-b3c1-fa903f36f0ad.jpg" />, at least one of the two functions on the left side of the equation should be equal to zero. We conjecture that the value function has the following structure.</p><disp-formula id="scirp.31802-formula75044"><label>(3.15)</label><graphic position="anchor" xlink:href="3-1490137\fa8ba75d-ecb5-48d5-9618-2b981bd92172.jpg"  xlink:type="simple"/></disp-formula><p>for<img src="3-1490137\6fc99583-c2a4-4027-8ae3-cfe54923a92f.jpg" />. Also</p><disp-formula id="scirp.31802-formula75045"><label>(3.16)</label><graphic position="anchor" xlink:href="3-1490137\11bb20ef-f5da-4f5f-8142-adb723562dfc.jpg"  xlink:type="simple"/></disp-formula><p>for<img src="3-1490137\fb8da0bf-4995-4203-bb0e-2bb05701314b.jpg" />.</p><p>Assume that <img src="3-1490137\4e6ed3f9-1887-41ab-9a63-4c577233238a.jpg" /> minimizes the function <img src="3-1490137\9ac590dd-444d-4137-be60-0d234cc4fd9b.jpg" /> in foregoing equation. If <img src="3-1490137\cbfa47dc-ca23-45d3-9e70-e987157d0934.jpg" /> then</p><disp-formula id="scirp.31802-formula75046"><label>(3.17)</label><graphic position="anchor" xlink:href="3-1490137\7d2d5194-8bac-4246-9b50-79c09ac2130c.jpg"  xlink:type="simple"/></disp-formula><p>provided that the right-hand side of (3.17) belongs to<img src="3-1490137\a8147ddd-09b2-42a8-8203-b87996508f2d.jpg" />. (Note that if<img src="3-1490137\8660f9f7-76e3-45fa-ba99-ef243875552e.jpg" />, then (3.16) cannot be satisfied and we exclude <img src="3-1490137\dc7ab841-1eca-4f80-b1ca-2c16b50b8f9d.jpg" /> from consideration).</p><p>Substituting (3.17) into (3.16), we get</p><disp-formula id="scirp.31802-formula75047"><label>(3.18)</label><graphic position="anchor" xlink:href="3-1490137\1fb9811a-63fc-4f5c-8f94-0827d117a011.jpg"  xlink:type="simple"/></disp-formula><p>The general solution for (3.18) is</p><disp-formula id="scirp.31802-formula75048"><label>(3.19)</label><graphic position="anchor" xlink:href="3-1490137\2f9d14d1-4555-4d72-bc34-2caf681da28e.jpg"  xlink:type="simple"/></disp-formula><p>where <img src="3-1490137\4e53e61c-7327-4a0a-bee7-cd79dd385baf.jpg" /> and <img src="3-1490137\dc1b5c98-d3d6-4e11-82e5-a631935ffb64.jpg" /> are free constants to be determined later, and</p><disp-formula id="scirp.31802-formula75049"><label>(3.20)</label><graphic position="anchor" xlink:href="3-1490137\b9acfe41-c305-449d-a29f-445a1ed8d128.jpg"  xlink:type="simple"/></disp-formula><p>It is easy to see that<img src="3-1490137\0e8a6373-1ffd-4723-8c04-a7fbe2a112d0.jpg" />. From (3.17), we obtain the expression for <img src="3-1490137\4f1b9b2c-f08a-438a-bbc3-ae86cd7c18a2.jpg" /> (provided that <img src="3-1490137\b5e09c39-bc5a-4c36-87d8-88b6334cc49b.jpg" /> which will be verified later):</p><disp-formula id="scirp.31802-formula75050"><label>(3.21)</label><graphic position="anchor" xlink:href="3-1490137\7817a264-6dc7-44e6-ae1b-b20707b80541.jpg"  xlink:type="simple"/></disp-formula><p>Note that the solution of (3.18) coincides with the solution of (3.16) only in the region where</p><p><img src="3-1490137\a4b8fa2d-4b9a-4279-8a88-e53e8c4a69db.jpg" /></p><p>From this expression, we conjecture that there is a switching point <img src="3-1490137\1075e2a7-4aaf-4e20-a37f-4b201112414a.jpg" /> such that <img src="3-1490137\6ae981f0-3aa2-444a-ab27-d056f92385eb.jpg" /> when<img src="3-1490137\6cd0a6ac-5729-4c67-bcce-8f4aeeb4cbad.jpg" />. As<img src="3-1490137\9eb84d10-9d51-4353-9782-4eb9b0a96d9a.jpg" />, by virtue of the equation (3.21), we obtain the following expression for<img src="3-1490137\89c8c35a-e3f6-47cc-b3af-e19b9a9c1e7d.jpg" />:</p><disp-formula id="scirp.31802-formula75051"><label>(3.22)</label><graphic position="anchor" xlink:href="3-1490137\dc17c0c7-97d0-4b2f-a774-045945c40f1e.jpg"  xlink:type="simple"/></disp-formula><p>For<img src="3-1490137\9d9f3b98-cfde-40fb-a39b-4b9c35923c0a.jpg" />,<img src="3-1490137\aefb1778-d417-4f60-9345-d5bae9f6c91f.jpg" />; and the corresponding differential equation becomes</p><disp-formula id="scirp.31802-formula75052"><label>(3.23)</label><graphic position="anchor" xlink:href="3-1490137\c4e292d7-52c7-4b91-8b27-446cf9ab095b.jpg"  xlink:type="simple"/></disp-formula><p>The general solution for (3.23) is</p><disp-formula id="scirp.31802-formula75053"><label>(3.24)</label><graphic position="anchor" xlink:href="3-1490137\dc3ab342-f726-44cf-a5e8-3c8d05ccbcf7.jpg"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.31802-formula75054"><label>(3.25)</label><graphic position="anchor" xlink:href="3-1490137\fd9da6c0-ee68-45e0-8b85-d7abf4fe74ff.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75055"><label>(3.26)</label><graphic position="anchor" xlink:href="3-1490137\f23ffa81-f458-481d-a6c0-493a55fea6fb.jpg"  xlink:type="simple"/></disp-formula><p>with<img src="3-1490137\44f42dac-b829-4159-9653-0a32ae0d7cbe.jpg" />. Standard arguments show that</p><disp-formula id="scirp.31802-formula75056"><label>(3.27)</label><graphic position="anchor" xlink:href="3-1490137\36a15a62-b9da-4a45-852e-b227af3348f5.jpg"  xlink:type="simple"/></disp-formula><p>For <img src="3-1490137\ff837d3e-ead7-4ac4-a535-657219052bdd.jpg" /> (see e.g., Cadenillas et al. [<xref ref-type="bibr" rid="scirp.31802-ref14">14</xref>]). The boundary conditions for the equation are rather tricky. If 0 and <img src="3-1490137\fe1a73f2-55e0-4d75-8cb4-844d5d6c2516.jpg" /> are the points at which the impulse control (intervention) is initiated then the boundary conditions at these points become</p><disp-formula id="scirp.31802-formula75057"><label>(3.28)</label><graphic position="anchor" xlink:href="3-1490137\b0376f7c-174a-46a0-ba68-7029143ae8e3.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75058"><label>(3.29)</label><graphic position="anchor" xlink:href="3-1490137\a26a1837-fb5e-4b1a-b6e2-0361ad861b90.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75059"><label>(3.30)</label><graphic position="anchor" xlink:href="3-1490137\fb883bbf-4a1f-4369-93bb-af269dce958f.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75060"><label>(3.31)</label><graphic position="anchor" xlink:href="3-1490137\9574be88-1242-4deb-85c8-bc577eab7bd7.jpg"  xlink:type="simple"/></disp-formula><p>However, if bankruptcy is allowed and no intervention is initiated when the process reaches 0, then the boundary condition at 0 becomes straightforward: <img src="3-1490137\fa23cf8a-77b2-4608-bd02-451f2f58c60f.jpg" />(see Cadenillas and Zapatero [<xref ref-type="bibr" rid="scirp.31802-ref3">3</xref>] and Cadenillas, et al. [<xref ref-type="bibr" rid="scirp.31802-ref14">14</xref>]). In our case, whether 0 is the point that corresponds to the intervention in the form of a contingent call or whether it corresponds to bankruptcy is not given a priori; rather it is part of the solution to the problem.</p><p>We seek the solution by finding a function <img src="3-1490137\f15fdfb8-502f-432a-a527-68daed381f33.jpg" /> such that</p><disp-formula id="scirp.31802-formula75061"><label>(3.32)</label><graphic position="anchor" xlink:href="3-1490137\3babc8a2-0dd3-48f8-b659-16dd82caa958.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75062"><label>(3.33)</label><graphic position="anchor" xlink:href="3-1490137\55d11674-6fed-4b35-95ab-85031ed2edbe.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75063"><label>(3.34)</label><graphic position="anchor" xlink:href="3-1490137\97ea22ce-ae8e-49bd-a591-dd86982ec154.jpg"  xlink:type="simple"/></disp-formula><p>To find the free constants in the expressions for <img src="3-1490137\12b907a9-c6e2-4b69-bcf0-f641813c94a5.jpg" /> an <img src="3-1490137\7de611a5-7d18-4691-b10c-8d4f1870db22.jpg" /> and to paste different pieces of the solution together we apply the principle of smooth fit by making the value and the first derivatives to be continuous at the switching points <img src="3-1490137\ec3af02f-1f8f-46c0-95a6-216a9e90948b.jpg" /> and b,</p><disp-formula id="scirp.31802-formula75064"><label>(3.35)</label><graphic position="anchor" xlink:href="3-1490137\d6b3511b-70ba-45a5-9b60-0a8d670468d8.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75065"><label>(3.36)</label><graphic position="anchor" xlink:href="3-1490137\c9b963cf-7ec0-47e5-93a5-bd749c3a4131.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75066"><label>(3.37)</label><graphic position="anchor" xlink:href="3-1490137\65198a39-e13e-47b4-9e62-fdd5aef4be14.jpg"  xlink:type="simple"/></disp-formula><p>where <img src="3-1490137\f78da7ec-1b9e-4a6a-9309-90f66c241707.jpg" /> is defined by (3.22).</p><p>(It should be noted that the function<img src="3-1490137\1266250e-f3f8-449f-b81f-fe7b042d0b14.jpg" />, which is constructed from (3.32)-(3.34) subject to conditions (3.28)- (3.31) and (3.35)-(3.37), corresponds to the case in which the optimal policy leads to<img src="3-1490137\eb76dabe-1ae9-446d-a477-1d6e7dddfa31.jpg" />). We begin by constructing such a function. The main technique is not to consider the function <img src="3-1490137\37a38064-d0e0-4f22-b406-c4142dc5a03d.jpg" /> itself, but rather first to construct<img src="3-1490137\8f1848f3-60e3-4084-9e61-fe152c7f3305.jpg" />.</p><p>The form of <img src="3-1490137\4caf1117-8b7b-40c0-913a-e930bf20e30a.jpg" /> is shown in <xref ref-type="fig" rid="fig1">Figure 1</xref>.</p><p>From <img src="3-1490137\91b89b3e-c556-4fe0-9975-1aed022a4998.jpg" /> and (3.17), we have</p><p><img src="3-1490137\b401c14a-4d24-487c-b03e-e23c7e86e0d2.jpg" />. By the continuity on <img src="3-1490137\37d56e4c-3c41-4040-b16f-b904b5f9a86c.jpg" /> and <img src="3-1490137\c2bb830e-58e6-49db-b49c-d79c4a86197e.jpg" /> at<img src="3-1490137\9db24407-9036-4d9f-9457-1041ac642b86.jpg" />, and by (3.23), we have<img src="3-1490137\f53f02b9-8665-476d-8d31-3517083918dc.jpg" />. From this relation and (3.24), we have</p><p><img src="3-1490137\42a5eecb-4913-4504-a677-6345733e78d8.jpg" /></p><p>Let<img src="3-1490137\e82b4d79-d331-4608-92d1-ccde92ee4c24.jpg" />. Then, <img src="3-1490137\a43c6b09-b0cd-42bd-85fe-5705ac67e9a5.jpg" />, and we can write</p><p><img src="3-1490137\66e2aa1b-f1b2-42ac-a510-eda825b5f10e.jpg" /></p><p>We can easily get the inequalities:</p><disp-formula id="scirp.31802-formula75067"><label>(3.38)</label><graphic position="anchor" xlink:href="3-1490137\975a217e-a282-4abc-8d04-7209355217cc.jpg"  xlink:type="simple"/></disp-formula><p>From (3.22), we get</p><p><img src="3-1490137\f44dc3bb-dd7d-480a-9867-14565f83705e.jpg" /></p><p>From<img src="3-1490137\67efa820-bca7-4b8e-a237-dae081784dbf.jpg" />, and from the continuity of <img src="3-1490137\30c0e729-f686-4ec3-8afe-fa2565a3115b.jpg" /> at<img src="3-1490137\6b0d524d-7ea7-40ac-aceb-2a91cbcd9bf8.jpg" />, we obtain the expression for<img src="3-1490137\4325468e-2952-4915-ac0c-89c06cf3e05f.jpg" />:</p><p><img src="3-1490137\51a57042-1577-4fb7-aa09-17de78fa3041.jpg" /></p><p>Let<img src="3-1490137\fda68b1a-de55-40a2-94cd-b42e0f887ce0.jpg" />. (Obviously, <img src="3-1490137\ee30aebc-8c34-4a72-be39-fe18cc22dd8d.jpg" />since<img src="3-1490137\4fd5019e-5fd1-40cb-9c76-a0ff21aaf24d.jpg" />.) Now, we can write <img src="3-1490137\b3fdcf98-2ba0-43a4-93e4-04a331025916.jpg" /> in terms of <img src="3-1490137\7de9fbd3-dedd-401b-8141-ac09380d4f7e.jpg" /> and<img src="3-1490137\d70a8432-3399-4753-b188-cea3ba9fb580.jpg" />:</p><p><img src="3-1490137\3024c83e-fc93-4e80-95cc-fe3eefab13a2.jpg" /></p><p>What remains is to determine <img src="3-1490137\7662e7bf-b2a5-46ac-afff-cf45fb349a99.jpg" /> and<img src="3-1490137\b9d09303-14b9-4a35-adf7-adf430103346.jpg" />. Once these constants are found, we have <img src="3-1490137\c3ac0634-9c96-47cb-b951-6b6f45d02413.jpg" /> and<img src="3-1490137\6de1f976-5685-45e9-89de-046924ae1349.jpg" />, and thus<img src="3-1490137\9099817a-d744-4de9-9ea8-f006b9b54ac8.jpg" />. Let</p><p><img src="3-1490137\773e5480-d5fc-4f47-80d1-1a4fadd4aeb0.jpg" /></p><p>where<img src="3-1490137\50a5f5bb-51fc-4e22-a80c-c1974acc7761.jpg" />.</p><p>Note that if <img src="3-1490137\11d0864d-50ec-44fa-a1fb-3260e0bd2bd3.jpg" /> and<img src="3-1490137\1bc046da-cd35-490a-92c9-4b3c88d53908.jpg" />, then it is easy to show that for<img src="3-1490137\2fb08c4a-870d-487d-90f1-3de0e7e277c8.jpg" />, <img src="3-1490137\d243e478-5382-4996-a8e6-e6c8fd7c3c46.jpg" />,</p><p><img src="3-1490137\da98b93f-fe25-40ed-8d94-e78b98263976.jpg" />and<img src="3-1490137\133b84f6-5d8b-4b12-a680-3ca339fa847d.jpg" />,</p><p><img src="3-1490137\2506b81c-8fa2-41dd-9803-54b6ce8af77d.jpg" />. Therefore, <img src="3-1490137\6190735f-00d4-4c18-8bca-a19af5e03c6b.jpg" />is decreasing on <img src="3-1490137\683d0515-a2f8-4a14-b0f0-aa765bc02575.jpg" /> and <img src="3-1490137\0ea8e437-036d-4f3b-ae5c-727378facdf3.jpg" /> is concave on<img src="3-1490137\fdc2fa98-9449-4d13-ae86-897ba4486a02.jpg" />. In the remainder of this section, we find <img src="3-1490137\60a7fc93-ef99-41bc-b6aa-1f03e75ae065.jpg" /> and <img src="3-1490137\c59262e5-6dee-45ab-934c-e35c55006596.jpg" /> and complete the construction of the function<img src="3-1490137\9619ecd5-ee3e-42c7-acd6-e5ce39157918.jpg" />. We do this in an implicit manner by adopting an auxiliary problem in which no contingent calls are allowed and by using the optimal value function of that problem to construct the function<img src="3-1490137\bed98656-a49c-4952-8ab2-0f676ae3d640.jpg" />.</p><p>Let’s consider a slightly different problem in which only those controls <img src="3-1490137\c6adb955-9f60-4c20-9834-c68d1703b673.jpg" /> for which <img src="3-1490137\0c1f47d0-6e62-40da-b4bb-f2b51a0fe0ff.jpg" /> on the right-hand side of (2.2) are negative allowed. This problem is similar to that considered in Cadenillas et al. [<xref ref-type="bibr" rid="scirp.31802-ref14">14</xref>]. Let <img src="3-1490137\60adf279-a689-4bc3-9f29-e959c55ba3a1.jpg" /> be the optimal value function for this problem. As was shown in [<xref ref-type="bibr" rid="scirp.31802-ref14">14</xref>], the function <img src="3-1490137\212f2259-ae9a-4515-bd01-1c2b4f81ea8b.jpg" /> satisfies the same HJB equation, except for boundary conditions (3.28) and (3.29). These conditions are replaced by<img src="3-1490137\20e1eef1-1a35-4e6f-9b68-0db8d26e7453.jpg" />.</p><p>The same arguments as those above show that we can make the conjecture that the function <img src="3-1490137\66ac227e-ddd6-4ba3-96be-3b2dc2bb98e7.jpg" /> should be sought as a solution to (3.39)-(3.44) below.</p><disp-formula id="scirp.31802-formula75068"><label>(3.39)</label><graphic position="anchor" xlink:href="3-1490137\0978e1fe-c4d4-412b-bab8-45b2aeeab6ad.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75069"><label>(3.40)</label><graphic position="anchor" xlink:href="3-1490137\0a2f4213-c1a4-49e6-8030-552685990cfb.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75070"><label>(3.41)</label><graphic position="anchor" xlink:href="3-1490137\90ca461e-81ae-49f0-b87d-f8d13f2651e0.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75071"><label>(3.42)</label><graphic position="anchor" xlink:href="3-1490137\3cb6f57c-8e8d-49ae-afa7-ebbcde3cb521.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75072"><label>(3.43)</label><graphic position="anchor" xlink:href="3-1490137\30de214c-5c6e-4a2d-9173-25c81906d42c.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75073"><label>(3.44)</label><graphic position="anchor" xlink:href="3-1490137\21144194-5dd7-4b44-b6b9-e2d9bb7348a5.jpg"  xlink:type="simple"/></disp-formula><p>where<img src="3-1490137\e2a9ef32-4881-409a-aa38-451dc88e79d4.jpg" />.</p><sec id="s3_1_1"><title>A Solution to the Auxiliary Problem</title><p>First note that a general solution to (3.39), (3.41) is<img src="3-1490137\929772e3-e576-4fe1-96c7-d98939605872.jpg" />, where <img src="3-1490137\05b59c87-0be3-4385-a8e7-0c31377a161d.jpg" /> is the same as in (3.20) and <img src="3-1490137\d2b94a48-f974-4916-8876-c6fda212a4b0.jpg" /> is a free constant, and a general solution to (3.40) is <img src="3-1490137\ad10039d-3847-467b-8941-cae85e0dc868.jpg" />, where <img src="3-1490137\863398e1-1f7a-4233-8d86-01ff5d0c4fbd.jpg" /> and <img src="3-1490137\7db1cff1-0e37-4dad-bdd2-f56dcf92a977.jpg" /> are the same as in (3.25), (3.26).</p><p>To solve our auxiliary problem we apply the same technique as that used in Cadenillas et al. [<xref ref-type="bibr" rid="scirp.31802-ref14">14</xref>]. We begin with<img src="3-1490137\4784e9bf-2b82-4705-8712-0eb4ff12ff1f.jpg" />, which is defined as follows.</p><disp-formula id="scirp.31802-formula75074"><label>(3.45)</label><graphic position="anchor" xlink:href="3-1490137\8dd379c4-8433-4604-a94f-94ab15060fb2.jpg"  xlink:type="simple"/></disp-formula><p>this expression, constants <img src="3-1490137\3c07ac7b-d68b-4a9c-917b-9ce3dd312d03.jpg" /> and <img src="3-1490137\8035945c-9dbf-443d-9fbb-d4ca7708ab0b.jpg" /> are chosen in such a way that <img src="3-1490137\e3766298-1862-4bac-946d-c23fb528a1be.jpg" /> and</p><p><img src="3-1490137\c1566753-e674-4c8e-be80-de3075c98055.jpg" />. That is, the functions <img src="3-1490137\d368dcc4-5a2f-4fb5-bba8-59d78a3a534f.jpg" /> and <img src="3-1490137\b80dc0f9-0ab5-4eaa-a1b0-9242a469601f.jpg" /> are continuous at<img src="3-1490137\a2ad6620-1caa-4ce5-abed-2acb903afbc1.jpg" />. (Note that <img src="3-1490137\822c3263-2744-460c-befe-a8d394b5ec76.jpg" /> is a derivative of <img src="3-1490137\4dfe9dc4-e76c-463e-bbe9-5ce95c00cf33.jpg" /> on <img src="3-1490137\b7cc5cfc-98af-43e6-80b4-c281e986a637.jpg" /> and <img src="3-1490137\7d6ed880-1557-4817-856e-65c414be1187.jpg" /> is a derivative of <img src="3-1490137\3512063b-2266-44db-8975-ba02577cca46.jpg" /> on<img src="3-1490137\ed84f68d-96a2-4bda-acb8-cbfc1bd3b7fb.jpg" />.) We next examine the family of functions<img src="3-1490137\4c8eb3c0-8a7e-4396-8acc-9242252f51e8.jpg" />, where<img src="3-1490137\a1a22b0d-2ea9-4f0e-acdd-c76775fc6397.jpg" />. We seek <img src="3-1490137\61b80d5d-7e92-4daf-ba29-0bfe0fefc2d6.jpg" /> such that <img src="3-1490137\f9d2ae99-d7a9-4f84-bee2-749082b734f1.jpg" /> becomes the derivative of the optimal value function<img src="3-1490137\6298416d-fba6-4be4-81f1-acf109fd3fd9.jpg" />.</p><p>To this end, we start by finding points <img src="3-1490137\3d8fa5c3-a0b7-4ce2-8bdb-c0e9da807928.jpg" /> and <img src="3-1490137\8e46b3bd-3a7c-49bb-a8e4-5c8ebbfbe0ef.jpg" /> such that <img src="3-1490137\c8d26e64-65b6-4fff-b742-9a30b1a78247.jpg" /> and</p><p><img src="3-1490137\fbe89656-20c0-42c2-a81e-b5d7a7583d94.jpg" />. Note that <img src="3-1490137\54be5814-498c-4f98-9b1e-cf685e091867.jpg" /> is a concave function, which is easily checked by differentiation. Let<img src="3-1490137\b0fcc4f4-a267-4846-b6d5-a4e35037974d.jpg" />, the point at which the maximum of <img src="3-1490137\aeabae0a-4bba-4577-b04e-1369f70273c4.jpg" /> is achieved (it is easy to see that</p><p><img src="3-1490137\a043f845-f7d6-406c-b4c4-a0c8c61ff890.jpg" />, whereas<img src="3-1490137\6162067f-5d5a-42e0-b0c5-1150e19f0507.jpg" />, which shows that</p><p><img src="3-1490137\5ac383cd-edef-45f9-a13f-019e97025027.jpg" />exists; in view of the fact that<img src="3-1490137\a1260c9c-0617-45b5-a1bf-f3ac88a7989a.jpg" />, it is unique). It is obvious by virtue of the concavity of <img src="3-1490137\d70e629c-212c-450e-ac5c-5ddbd0fb7805.jpg" /> that, for any<img src="3-1490137\d92fcdde-e93f-4eb9-a108-24ad5c7bb14e.jpg" />, <img src="3-1490137\7bb00ef6-60a2-401e-ba18-baefee018cf5.jpg" />and <img src="3-1490137\1c390851-25c3-4a97-ad55-20864d82cadd.jpg" /> exist.</p><p>We now consider<img src="3-1490137\8fbdbd99-3b45-4ad8-8791-bbc960bb57f6.jpg" />. Informally, <img src="3-1490137\851e921e-16ff-4500-8902-a0be8648f5e1.jpg" />is the area under the graph of <img src="3-1490137\bcf05b69-245a-4e7c-9b22-f7ed65cd7700.jpg" /> and above the horizontal line<img src="3-1490137\4291226a-68f9-405c-a331-91cf7716f4f8.jpg" />. It is obvious that <img src="3-1490137\6929b5a2-1edb-4c31-baf6-f64edf29d239.jpg" /> is a continuous function of<img src="3-1490137\d462a98c-1b3f-4ad9-ad56-cddc6852cfe6.jpg" />. For<img src="3-1490137\46a1003f-c7fb-4b4b-834b-1893e27231c1.jpg" />, we have<img src="3-1490137\6cf1250c-da54-4103-bd1c-233988f16310.jpg" />; Let</p><p><img src="3-1490137\d299ab56-c11d-4331-b1d7-5aad24c188a1.jpg" /></p><p>Then,</p><disp-formula id="scirp.31802-formula75075"><label>(3.46)</label><graphic position="anchor" xlink:href="3-1490137\b6f27504-5ced-4e97-a840-3cde901bff3e.jpg"  xlink:type="simple"/></disp-formula><p>is the optimal value function of the auxiliary problem (see <xref ref-type="fig" rid="fig2">Figure 2</xref>). The proof here is identical to that of a similar statement in Cadenillas et al. [<xref ref-type="bibr" rid="scirp.31802-ref14">14</xref>] and thus we omit it.</p></sec></sec><sec id="s3_2"><title>3.2. The Optimal Value Function for the Original Problem</title><p>We employ the function <img src="3-1490137\bd8cdfc8-2e43-47f7-acb0-a4459bf0293a.jpg" /> obtained in the previous subsection to construct the derivative of the optimal val-</p><p>uefunction<img src="3-1490137\6fd530f3-a920-4dab-a5f9-37d164c309d8.jpg" />. The main idea is to consider <img src="3-1490137\38d615e0-6b11-4e9c-9693-ed512e65f7f6.jpg" /> and try to find <img src="3-1490137\64979817-8fa3-4aaf-9e2e-4e0a913b85fb.jpg" /> such that<img src="3-1490137\7dcf159d-c8a3-411f-b81f-c78d370eff4e.jpg" />. The optimal value function <img src="3-1490137\e0cd87bd-3ec5-4afb-a625-18237fb82073.jpg" /> will then be sought in the form of<img src="3-1490137\0768460c-4905-43f6-9ec8-efdb54c2e63d.jpg" />. To this end, we need the following proposition.</p><p>Proposition 3.1. Suppose that <img src="3-1490137\89696f86-db9f-49bf-8b8d-2b6cf60114bd.jpg" /> satisfies (3.39) (satisfies (3.40)); then, for any S, the function <img src="3-1490137\3c21d5f0-3883-46e4-b1f1-c086c55cc00d.jpg" /> satisfies the same equation on the interval shifted by S to the left.</p><p>The proof of this proposition is straightforward.</p><p>From (3.45), we can see that <img src="3-1490137\9729ecad-91c4-4385-b242-a519a8131d26.jpg" /> has a singularity at 0 with<img src="3-1490137\0b011cc0-2ecd-4399-a000-6b855a69ed0f.jpg" />. The concavity of <img src="3-1490137\0e7a200f-7e89-49ed-873a-0d3a4500ec8d.jpg" /> on</p><p><img src="3-1490137\bc0b5680-b41d-4bc4-8626-798b86f48de6.jpg" />implies that <img src="3-1490137\f2c0a29d-edb0-4fc5-a624-dddbfc5c0e1b.jpg" /> is increasing on <img src="3-1490137\fc32600b-b24a-4684-a7ea-82df17cd643a.jpg" /> and decreasing on <img src="3-1490137\8d66adc1-f449-48aa-86db-c545793f1591.jpg" /> (recall that <img src="3-1490137\b9a86170-72cf-47fa-b2b3-19ddcaeb9c6e.jpg" /> is constant on<img src="3-1490137\00b41c35-87b9-41bd-a765-963a63c88591.jpg" />). Therefore, there exists unique <img src="3-1490137\a2c7e0cc-6723-47d7-a371-1bc5b15bca7e.jpg" /> such that<img src="3-1490137\f4a30ece-5f99-4b63-900c-645dd3d5d6d2.jpg" />. Define</p><disp-formula id="scirp.31802-formula75076"><label>(3.47)</label><graphic position="anchor" xlink:href="3-1490137\b3c7ae32-aa44-4b8d-bf90-1c0da2246b8f.jpg"  xlink:type="simple"/></disp-formula><p>Note that <img src="3-1490137\05e1a8a4-e57c-4db3-af2a-84b5eec219a6.jpg" /> decreases to <img src="3-1490137\1d37eab3-f817-4592-867b-cc54e61e9c4e.jpg" /> at 0 at the order of <img src="3-1490137\f5440d0c-4a9c-4b03-bd12-e8f86636b419.jpg" /> (see (3.45)); therefore, <img src="3-1490137\c2de1dd2-0f5e-4f11-8c46-7592d9b7a9e9.jpg" />is integrable at 0 and, as a result,<img src="3-1490137\caab0a14-953f-4a47-ba25-2e2f057d35ee.jpg" />.</p><p>The qualitative nature of the solution to the original problem depends on the relationship between <img src="3-1490137\99c5ead5-fb88-4fe3-a193-1c63288c0a98.jpg" /> and<img src="3-1490137\314dcb70-adf2-451e-9495-d5845ace039e.jpg" />; hence, we divide our analysis into two cases.</p><sec id="s3_2_1"><title>3.2.1. The Case of <img src="3-1490137\1c0cef65-1c9f-4b9d-b6c1-316a796bb873.jpg" /></title><p>Consider the following integral</p><p><img src="3-1490137\4bda3253-d9e5-4328-a22a-8f8d42e14cf4.jpg" /></p><p>Geometrically this integral represents the area of a curvilinear triangle bounded by the lines<img src="3-1490137\99ac566f-d958-4dc1-a951-495804e9a90c.jpg" />, <img src="3-1490137\1f3ea4da-016e-4743-afa1-5547da06775a.jpg" />and the graph of the function<img src="3-1490137\bb413093-f78f-4efe-a66f-59911f63f891.jpg" />. Obviously, <img src="3-1490137\0dbd8da2-30ee-4b5d-8034-7f15d6e7088a.jpg" />is a continuous function of<img src="3-1490137\0489b40d-230f-499f-9999-35a9426579f3.jpg" />. Because</p><p><img src="3-1490137\e9809265-92e2-4667-99f3-3e1de7bfb4ef.jpg" />and<img src="3-1490137\d126fa85-c4c7-458f-af9c-33ba26c6a577.jpg" />, there exists an <img src="3-1490137\3d4710a8-d783-4f8f-b1d9-5e6eeb61f633.jpg" /> (see</p><p><xref ref-type="fig" rid="fig3">Figure 3</xref>) such that</p><disp-formula id="scirp.31802-formula75077"><label>(3.48)</label><graphic position="anchor" xlink:href="3-1490137\3249df37-9a13-4551-9730-466d068a65c6.jpg"  xlink:type="simple"/></disp-formula><p>In what follows, we show that <img src="3-1490137\db8eb2c3-25a7-4d31-b8e4-e7ff25e2ddc2.jpg" /> is the derivative of the solution <img src="3-1490137\a81bc07e-51c7-4b4b-bccd-0a4c59e97f5e.jpg" /> to the QVI, inequalities (2.12)-(2.14).</p><p>Let</p><disp-formula id="scirp.31802-formula75078"><label>(3.49)</label><graphic position="anchor" xlink:href="3-1490137\2c52f123-9d9e-4e09-83db-69a5882e8fbf.jpg"  xlink:type="simple"/></disp-formula><p>Also let</p><disp-formula id="scirp.31802-formula75079"><label>(3.50)</label><graphic position="anchor" xlink:href="3-1490137\54e7bb25-9faf-4d96-a15a-c171848287a1.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75080"><label>(3.51)</label><graphic position="anchor" xlink:href="3-1490137\2d63b328-9905-441f-886b-ba6ee4119c4e.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75081"><label>(3.52)</label><graphic position="anchor" xlink:href="3-1490137\216ac5bf-9366-4f7f-9523-862efe3c57dd.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75082"><label>(3.53)</label><graphic position="anchor" xlink:href="3-1490137\18458922-f99f-4886-b333-6b02a5f7ad32.jpg"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.31802-formula75083"><label>(3.54)</label><graphic position="anchor" xlink:href="3-1490137\15ad12cd-5dc0-4a84-820a-e62e28256089.jpg"  xlink:type="simple"/></disp-formula><p>By virtue of Proposition 3.1, the function <img src="3-1490137\647d91ec-5f83-4d79-a6fa-496ae212558b.jpg" /> satisfies (3.18) on<img src="3-1490137\0a391115-4461-4f0e-9a0e-61415d9f3fab.jpg" />, as well as (3.23) on<img src="3-1490137\f920a5ab-2e39-4399-94dd-755e60a44479.jpg" />. In addition, from (3.48), we can see that</p><disp-formula id="scirp.31802-formula75084"><label>(3.55)</label><graphic position="anchor" xlink:href="3-1490137\18d20c6e-5a5a-430e-9e4c-f1cefc8c719f.jpg"  xlink:type="simple"/></disp-formula><p>From the construction of the function<img src="3-1490137\ae125e57-3764-4ca1-b7a1-f59fba1a0ea4.jpg" />, we can also see that</p><disp-formula id="scirp.31802-formula75085"><label>(3.56)</label><graphic position="anchor" xlink:href="3-1490137\3f981db1-6d93-48f1-a5b6-6289398b378b.jpg"  xlink:type="simple"/></disp-formula><p>We also have <img src="3-1490137\8f20f816-dadb-4f2c-8e37-e797ccd42679.jpg" /> and similarly<img src="3-1490137\60c7da07-7d27-452c-a726-a8320bb2fb78.jpg" />, so <img src="3-1490137\c09bdb50-d603-4529-9104-c18a56ba2e1f.jpg" /> satisfies all the conditions (3.28)-(3.31).</p><p>Theorem 3.1. The function <img src="3-1490137\838db0fe-d481-4a3f-bf7a-559a2855694e.jpg" /> given by (3.56) is a solution to the QVI (2.12)-(2.14).</p><p>The proof of this theorem is divided into several propositions.</p><p>Proposition 3.2. The function <img src="3-1490137\96ad2a42-9148-4b3e-bd3b-54a427c36974.jpg" /> satisfies (3.16) on<img src="3-1490137\d2536229-d9f6-4b78-b8e3-27d5cff65c8f.jpg" />.</p><p>Proof. 1) From the construction of the function v, we have <img src="3-1490137\712a20b2-3561-458c-ba97-038b18091302.jpg" /> on<img src="3-1490137\44b8af10-da56-474c-8232-59e55d925dc7.jpg" />. Consequently,</p><disp-formula id="scirp.31802-formula75086"><label>(3.57)</label><graphic position="anchor" xlink:href="3-1490137\dd54e628-92ba-4654-90e5-1eba41138e70.jpg"  xlink:type="simple"/></disp-formula><p>on<img src="3-1490137\634f0b19-ddbd-4230-a935-cf2408653049.jpg" />. As <img src="3-1490137\80013173-2a59-40da-9a05-b225a82a1c7f.jpg" /> satisfies (3.18), it also satisfies (3.16) because these two equations are equivalent whenever (3.16) holds.</p><p>2) To prove that (3.16) holds for<img src="3-1490137\c5d56462-444f-4a6d-9476-1b46870ae769.jpg" />, it is sufficient to show that for each<img src="3-1490137\b70b6f7e-ddb0-402e-9fbd-06e060ca5b98.jpg" />,</p><disp-formula id="scirp.31802-formula75087"><label>(3.58)</label><graphic position="anchor" xlink:href="3-1490137\a4054d84-9416-4084-8cd8-289788d8bee8.jpg"  xlink:type="simple"/></disp-formula><p>because, in view of Proposition 3.1, the function <img src="3-1490137\e7344710-73d2-47d5-968f-b233f6e6d057.jpg" /> satisfies (3.23) (that is,<img src="3-1490137\9e32a02c-b2c6-490d-bdf0-05e9a123dce7.jpg" />). By subtracting (3.58) from the left hand side of (3.23), we can see that (3.58) is equivalent to</p><disp-formula id="scirp.31802-formula75088"><label>(3.59)</label><graphic position="anchor" xlink:href="3-1490137\935bb09e-9832-4e26-bc63-5e08e465cfa3.jpg"  xlink:type="simple"/></disp-formula><p>for<img src="3-1490137\a80b356a-10f1-40b1-8940-8876c614c9a0.jpg" />. In view of the continuity of the first and second derivatives, and in view of the fact that (3.16) holds on<img src="3-1490137\c08091fd-6d39-46c7-b80c-d797ef08f870.jpg" />, we know that (3.59) is true for<img src="3-1490137\eb120acb-6bbd-444a-b05c-5f92b0b40fcd.jpg" />. As both <img src="3-1490137\d07c6f52-6fe2-4115-a654-881f3fa9f84d.jpg" /> and <img src="3-1490137\aaa85f74-e0ad-47c6-9b6b-26488af5df98.jpg" /> on the left-hand side of (3.59) are decreasing, therefore is nonpositive for all<img src="3-1490137\483a96e6-f4ce-48ff-b265-8cdd7d5b1b96.jpg" />.<img src="3-1490137\61bb73fd-85c1-4891-89c7-31688ee21ab0.jpg" /></p><p>Note that<img src="3-1490137\765c96b1-63bf-43b4-b9f7-6d4b86676b08.jpg" />, where</p><p><img src="3-1490137\33c2b086-06f4-43bd-bff0-250cc85fcb9d.jpg" /></p><p><img src="3-1490137\3b27ebbf-42aa-49b9-b07c-3599444b3517.jpg" /></p><p>Proposition 3.3. For each<img src="3-1490137\7cf2e9f5-bab0-46e3-a338-4c9c0fd3e1e0.jpg" />, we have</p><disp-formula id="scirp.31802-formula75089"><label>(3.60)</label><graphic position="anchor" xlink:href="3-1490137\05c9e2cb-4de8-42c1-b0ac-5939f7d5f2b6.jpg"  xlink:type="simple"/></disp-formula><p>If<img src="3-1490137\1f622396-3f31-47e1-91ba-085e0130e189.jpg" />, or if<img src="3-1490137\15ab86f1-4d0e-428a-b2cd-695f0f850a06.jpg" />, then</p><disp-formula id="scirp.31802-formula75090"><label>(3.61)</label><graphic position="anchor" xlink:href="3-1490137\a9d465ea-711e-45cf-8b8c-c8ec44865d2c.jpg"  xlink:type="simple"/></disp-formula><p>Proof. 1) We first prove, that<img src="3-1490137\cc02ed7e-119e-4499-8ce0-bcb73c982ff7.jpg" />. Supposethat<img src="3-1490137\00151bb3-3b21-471e-9bc1-68c2ec5c88ab.jpg" />. The function <img src="3-1490137\52f6a3b9-ddfa-4c2b-a08b-e55aab0bee4a.jpg" /> is continuously differentiable. By construction, <img src="3-1490137\51eb64a5-cb51-44b4-8633-49c469ebd18b.jpg" /> is increasing on <img src="3-1490137\bd27b591-2317-4514-bb17-264a9a155b16.jpg" /> and decreasing on <img src="3-1490137\1476f220-92b2-4251-802c-31e658d95f73.jpg" /> with <img src="3-1490137\4f14bb66-ec69-480a-9eb8-763ddad315f0.jpg" />for<img src="3-1490137\142eb047-aaf5-402a-9826-10ef0161def5.jpg" />. Therefore, the point <img src="3-1490137\7c862322-b65e-4691-bed6-30ec8beb744f.jpg" /> is the only point <img src="3-1490137\84731b3f-812e-479c-b039-5cda66be2afc.jpg" /> such that<img src="3-1490137\e9218814-48a7-46ec-a632-527e3475de03.jpg" />. Because<img src="3-1490137\0e73da21-f181-4799-a3b9-961aada0bcd6.jpg" />, we can see that<img src="3-1490137\db0781fe-815d-418c-9907-9111ae5f82c9.jpg" />. Therefore, for<img src="3-1490137\b923eedf-0e6d-4ef0-8e92-7835d0d62656.jpg" />,</p><p><img src="3-1490137\0a901e0e-2aa4-4bf3-8a8a-0d34495a6894.jpg" /></p><p>Also,</p><p><img src="3-1490137\c9dafb79-eb85-4b3c-8c99-162da24a00b6.jpg" /></p><p>if</p><p><img src="3-1490137\b0db2a58-f069-4e07-9b6b-a7c19d7f7cf3.jpg" /></p><p>However,</p><p><img src="3-1490137\3291ab0c-101b-44ce-8a1e-13b09dcd1d34.jpg" /></p><p>This proves that <img src="3-1490137\40257fdc-9e64-4804-8909-0ea145bc502e.jpg" /> for all <img src="3-1490137\5d9ea873-7f51-49ed-9f36-ada5d69049a8.jpg" /> and also shows that</p><disp-formula id="scirp.31802-formula75091"><label>(3.62)</label><graphic position="anchor" xlink:href="3-1490137\032681f3-1d76-452b-99cb-3c6b0bf87faf.jpg"  xlink:type="simple"/></disp-formula><p>Because <img src="3-1490137\ad5b9e27-59f4-457a-8485-6246528547d0.jpg" /> for<img src="3-1490137\a3c17999-d9a3-43ec-905d-5df9e369fa93.jpg" />, we know that for any <img src="3-1490137\a032275a-795f-46dd-ae97-b22a8f7761d6.jpg" /> the function <img src="3-1490137\2c1d8709-bc83-4850-8417-23e1b15453ef.jpg" /> is an increasing function of<img src="3-1490137\1219b50d-ed2e-4b0b-b2a7-be691368c7a2.jpg" />. Therefore, the minimum in the expression for <img src="3-1490137\e7463639-8918-450c-9db6-c125a10c650f.jpg" /> is attained for<img src="3-1490137\ab2833f1-b351-41bc-9ad2-c79338c3bb5c.jpg" />; as a result,<img src="3-1490137\33ae8b98-fa61-462f-aaf7-4e73dc35da63.jpg" />.</p><p>2) Consider <img src="3-1490137\147f008c-0bda-40b5-9f23-84c355b4535c.jpg" /> for<img src="3-1490137\47445469-f562-4261-856c-5369a66395dd.jpg" />. Because <img src="3-1490137\acc40fac-1472-400f-8ead-9f38c8c0c5e6.jpg" /> for <img src="3-1490137\92d41b97-b263-466f-b5e1-bf3b0b0fee89.jpg" /> and <img src="3-1490137\81b46a0f-7deb-4ce7-917f-df100669b6dd.jpg" /> for<img src="3-1490137\7a0a245f-1027-406e-8a85-e7e497111252.jpg" />, we can see that <img src="3-1490137\e9c28412-6bc8-45d2-b9f2-f483ba3a29fb.jpg" /> has a unique minimum at<img src="3-1490137\3daf4433-a4cb-4d7e-ab47-f4d685e5ddaa.jpg" />. Therefore,<img src="3-1490137\d5895e1f-8b6f-426f-9fd5-fce2e59c9074.jpg" />. Thus, <img src="3-1490137\98adb2a6-cc5c-42c2-a302-e84e1cf1d004.jpg" />if</p><p><img src="3-1490137\11c97fb5-d720-44ab-ac49-f5608cf8c9db.jpg" /></p><p>The foregoing inequality always holds true because, by construction,</p><p><img src="3-1490137\4a859b6d-d952-4cbe-b356-15c6fd5bf6f4.jpg" /></p><p>For<img src="3-1490137\1260678b-75fa-4a7d-adb1-0d4ca3c53bd5.jpg" />, we note, that<img src="3-1490137\d68e217d-e0d4-404b-88a3-a0a1b2cf4c42.jpg" />, and hence</p><disp-formula id="scirp.31802-formula75092"><label>(3.63)</label><graphic position="anchor" xlink:href="3-1490137\9744ca30-3c4b-48fa-9619-473faf72a810.jpg"  xlink:type="simple"/></disp-formula><p>To complete the proof of Theorem 3.1, we need only show the following.</p><p>Proposition 3.4. If<img src="3-1490137\7e4bc331-b1cb-4007-b581-86485d9ff4aa.jpg" />, then (2.12) holds.</p><p>Proof. It is sufficient to show that for any <img src="3-1490137\bd79302a-c0b1-48ea-b026-6b20af88f4fb.jpg" /> and any<img src="3-1490137\5617e9e0-b29b-4e63-976d-388bbbdc73ba.jpg" />,</p><disp-formula id="scirp.31802-formula75093"><label>(3.64)</label><graphic position="anchor" xlink:href="3-1490137\2adb1e3a-dba4-45cb-8b2e-7cbb9e850e48.jpg"  xlink:type="simple"/></disp-formula><p>From Proposition 3.2 we know that (3.64) is true for<img src="3-1490137\3fb5a523-1f04-4125-8d1d-7d160a7bf608.jpg" />. As<img src="3-1490137\990bcfb2-80ac-421e-9786-71e5b32f6637.jpg" />, we obtain</p><p><img src="3-1490137\cc7a56a8-eceb-4bc0-aa73-a4eb26198521.jpg" />.</p><p>For any<img src="3-1490137\28911adc-8e09-4ff5-9481-2c4d223c0992.jpg" />, we have</p><p><img src="3-1490137\7d9bdedb-1658-401e-8f37-24f401fd5c5b.jpg" /></p><p>because V is a decreasing function. <img src="3-1490137\723a0162-3d4f-4385-8a60-373f6d2b48b9.jpg" /></p><p>This completes the proof of Theorem 3.1.</p></sec><sec id="s3_2_2"><title>3.2.2. The Case of <img src="3-1490137\96b72e68-eed7-4fde-9eb9-72ec05ddc1df.jpg" /></title><p>When <img src="3-1490137\73ad05c7-d14b-4efd-af9b-5e9d4db60d77.jpg" /> we cannot find any S<sup>*</sup> such that (3.48) is satisfied. In this case, we set <img src="3-1490137\3eeec7af-503f-4c1d-b54f-1f4b7e068eed.jpg" /> (that is, we have<img src="3-1490137\0455672b-5817-4cc5-ad0f-a5fbd3ac32c0.jpg" />, which corresponds to<img src="3-1490137\9110f927-ec62-4ffc-8c65-5e82c306495f.jpg" />).</p><p>Theorem 3.2. If<img src="3-1490137\95b905a3-f220-41a4-8522-798dc60f5eae.jpg" />, then <img src="3-1490137\e13fc624-4e7f-4ffd-881d-e0976bec03bd.jpg" /> is a solution to the QVI (2.12)-(2.14).</p><p>To prove this theorem, it is sufficient to prove Propositions 3.2-3.4. The proofs of Propositions 3.2 and 3.4 are identical to the case of<img src="3-1490137\4146c60f-9149-4333-8644-b3f228d8df36.jpg" />, whereas that of Proposition 3.3 requires a slight modification.</p><p>Proposition 3.5. For each<img src="3-1490137\178f69e7-1327-4fea-8fcb-93ff76e1f7b0.jpg" />,</p><disp-formula id="scirp.31802-formula75094"><label>(3.65)</label><graphic position="anchor" xlink:href="3-1490137\c484c5a2-3137-4443-9180-da82ca420260.jpg"  xlink:type="simple"/></disp-formula><p>If<img src="3-1490137\ed053d90-e443-4487-924b-ac8ea5892ec5.jpg" />, then</p><disp-formula id="scirp.31802-formula75095"><label>(3.66)</label><graphic position="anchor" xlink:href="3-1490137\92b72f2f-f1e8-4605-80da-df9be58b35c7.jpg"  xlink:type="simple"/></disp-formula><p>Proof. The proof that <img src="3-1490137\101654a6-0e03-4518-b221-c59b65988d89.jpg" /> for all <img src="3-1490137\e8f051db-8858-4be6-9f39-6962b79dee7b.jpg" /> and that <img src="3-1490137\4fa688e6-3ad8-4a73-b450-61e74a8b66cd.jpg" /> for <img src="3-1490137\41c59b4c-dd60-47a8-abc4-26076858145a.jpg" /> is the same as that in Proposition 3.3.</p><p>If<img src="3-1490137\7fe430c6-ca09-4873-bfa5-4483365e0c2d.jpg" />, then <img src="3-1490137\99274aa0-a0ec-4a9e-bb60-6b8c67d8a106.jpg" /> is equivalent to</p><p><img src="3-1490137\56c1185a-faaf-4e9f-908b-6b70781fa4dd.jpg" /></p><p>The foregoing inequality is always true because</p><p><img src="3-1490137\7da955ec-b68e-4918-9bc4-f545565102a3.jpg" /></p><p>by assumption.</p><p>If<img src="3-1490137\06c90cb6-0301-4b17-848b-cc3a732ac554.jpg" />, then <img src="3-1490137\0c347b77-fd6f-41cd-a343-cf0db1b7aff5.jpg" /> still holds, due to the same argument as that in Proposition 3.3. <img src="3-1490137\e1771935-2026-4d34-878a-a691657c6e9e.jpg" /></p><p>Remark 3.1. In the case of <img src="3-1490137\f88ff250-b3db-4f56-a33e-13ba3e96337f.jpg" /> we have <img src="3-1490137\ddb2c4f1-6749-4dbe-8312-24df28d63034.jpg" /> only for<img src="3-1490137\50aba6e8-680d-45c3-9b2f-8eb8872dfd32.jpg" />, whereas</p><p><img src="3-1490137\e69ec613-789b-4970-a391-b34a5aefeaf8.jpg" />in contrast to the case when<img src="3-1490137\36d04aee-a8dd-4c68-9d69-94302b717d59.jpg" />. Also, when<img src="3-1490137\2ba9cc3c-ed4c-48f7-abed-55dc303b327e.jpg" />, we have<img src="3-1490137\748b658d-1bb9-438f-bee9-b60859a3b3a0.jpg" />, whereas <img src="3-1490137\d222df76-e39e-45ff-8920-32539df59026.jpg" /> if<img src="3-1490137\b20589e5-7841-4bf5-bf4f-a9e6806afea9.jpg" />. Equivalently, in the case that the fixed cost to call for additional funds is relatively large (i.e.,<img src="3-1490137\92574a94-c411-487a-9f79-968acc441446.jpg" />) , the optimal band control is reduced to <img src="3-1490137\08c9d19b-351c-4b4a-ad0e-51715d28cf48.jpg" /> with<img src="3-1490137\702dca07-6a31-4e0d-95db-1d26ce85aedf.jpg" />. That is, as soon as the reserve reaches zero, it becomes optimal for the mutual insurance firm to go bankrupt, rather than to be restarted by calling for additional funds.</p></sec></sec></sec><sec id="s4"><title>4. Verification Theorem and the Optimal Control</title><p>Theorem 4.1. If V is a solution to QVI (2.12)-(2.14), then for any control<img src="3-1490137\8a5b9e75-b628-4972-abb5-8d1c25521259.jpg" />,</p><disp-formula id="scirp.31802-formula75096"><label>(4.67)</label><graphic position="anchor" xlink:href="3-1490137\dffae3c0-02bf-46b0-bc55-025ff5f8618e.jpg"  xlink:type="simple"/></disp-formula><p>Proof. We prove this inequality when<img src="3-1490137\0503b36a-6994-41b3-8dc7-71f30251f6d6.jpg" />. In this case,<img src="3-1490137\f0d98f1d-58dd-454f-a516-c25036333997.jpg" />. Let <img src="3-1490137\e58bd924-4ebf-4cef-bf62-678ca903cfe7.jpg" /> be any admissible control defined by (2.2) and process <img src="3-1490137\e1e8f1c1-c886-4d32-a3ef-67e714ceff4a.jpg" /> be the corresponding surplus process (2.3), with<img src="3-1490137\de88eeb1-270b-4194-a93e-64884d699ca6.jpg" />. Let <img src="3-1490137\dc164db6-a2aa-4617-a255-35eb136d7f4e.jpg" /> be its ruin time given by (2.4). Let <img src="3-1490137\04dfdf1d-a271-4fe7-bdeb-5abbfd1966fa.jpg" /> and<img src="3-1490137\7523e27d-f3a0-49d9-b571-f8ccc1b95827.jpg" />. Then,</p><disp-formula id="scirp.31802-formula75097"><label>(4.68)</label><graphic position="anchor" xlink:href="3-1490137\01d17b80-d455-4d93-8243-2b08c3023ad3.jpg"  xlink:type="simple"/></disp-formula><p>By convention,<img src="3-1490137\b74412b5-f5fa-49cc-bceb-67f5e32545e9.jpg" />. In view of (2.13), we have</p><p><img src="3-1490137\22fd06ac-fe0e-4cda-84f9-ad4c0cd94596.jpg" /></p><p>Therefore,</p><p><img src="3-1490137\72c999e3-5e8d-4205-b477-44f01afb7ebf.jpg" /></p><p>and</p><disp-formula id="scirp.31802-formula75098"><label>(4.69)</label><graphic position="anchor" xlink:href="3-1490137\8ad41c2f-bba2-4531-a9c8-97129dfd8c97.jpg"  xlink:type="simple"/></disp-formula><p>In view of (2.6), this implies that for any <img src="3-1490137\de14dd69-ccfa-473f-8c26-f1c739d5d963.jpg" /> the second sum in (4.68) is bounded by the same integrable random variable independent of<img src="3-1490137\40077659-0112-4e19-9d3f-444a868ebe83.jpg" />.</p><p>On<img src="3-1490137\549e2643-1863-43e2-9aad-23927402917f.jpg" />, process <img src="3-1490137\7e2b3923-f664-465c-acca-7d1dc4d1698c.jpg" /> is continuous, and we can apply Ito’s formula to get</p><disp-formula id="scirp.31802-formula75099"><label>(4.70)</label><graphic position="anchor" xlink:href="3-1490137\cc31ff1a-4322-4cdc-8dd9-87f460c92df7.jpg"  xlink:type="simple"/></disp-formula><p>From this equation, using (2.6) and standard but rather tedious arguments, we can deduce that the first sum in (4.69) for all <img src="3-1490137\136107c0-4390-4e31-8088-d9dfed56112b.jpg" /> is also bounded by the same integrable random variable. Similar arguments show that</p><disp-formula id="scirp.31802-formula75100"><label>(4.71)</label><graphic position="anchor" xlink:href="3-1490137\f975f7d8-f08e-43b8-86dc-0cc619c46ad5.jpg"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.31802-formula75101"><label>(4.72)</label><graphic position="anchor" xlink:href="3-1490137\38473f19-103a-443a-8975-58426d4bfcd6.jpg"  xlink:type="simple"/></disp-formula><p>(see Cadenillas et al. [<xref ref-type="bibr" rid="scirp.31802-ref7">7</xref>]). Note that the second integral on the right-hand side of (4.70) is a martingale whose expectation vanishes. However, in view of (2.12), the integrand in the first integral of (4.70) is nonnegative. Therefore,</p><disp-formula id="scirp.31802-formula75102"><label>(4.73)</label><graphic position="anchor" xlink:href="3-1490137\97e6fcb7-d46f-4d95-a9a6-c41cd6b2c0f1.jpg"  xlink:type="simple"/></disp-formula><p>and, taking into account the dominated convergence theorem, we can see that the expectation of the first sum on the right-hand side of (4.68) is nonnegative.</p><p>From (2.13), we can see that</p><p><img src="3-1490137\204d45a1-0fb0-42bb-a5ff-e2f6a7c3e45a.jpg" /></p><p>Substituting this inequality into (4.2) and taking expectations of both sides, we obtain</p><disp-formula id="scirp.31802-formula75103"><label>(4.74)</label><graphic position="anchor" xlink:href="3-1490137\74c5ba57-e777-45ab-8896-3ecc08b5cfa3.jpg"  xlink:type="simple"/></disp-formula><p>Letting<img src="3-1490137\89da2a4e-d0e6-4080-a3f4-fd812eb594b5.jpg" />, and employing (4.72) and the monotone convergence theorem on, we get</p><disp-formula id="scirp.31802-formula75104"><label>(4.75)</label><graphic position="anchor" xlink:href="3-1490137\ca3c3640-c7d4-4828-847b-8215bdf002c6.jpg"  xlink:type="simple"/></disp-formula><p>As<img src="3-1490137\164d9fcf-bd2c-4183-abe6-a38ff2290d80.jpg" />, on<img src="3-1490137\13ab2f03-d984-4929-94e9-05bab810e2c9.jpg" />, the inequality (4.75) implies (4.67).</p><p>Remark 4.1. For the expectation of the stochastic integral on the right hand side of (4.70) to vanish, it is sufficient for its integrand to be bounded. In particular, it is sufficient for <img src="3-1490137\c3c05c74-ca03-4485-97eb-34d4182c4bbd.jpg" /> to be bounded. This is the case when<img src="3-1490137\7ecb6cd3-9f72-4bd3-b70f-9ddec1865154.jpg" />. When<img src="3-1490137\2040049a-2222-4f0e-a962-e07b8304fd03.jpg" />, the function <img src="3-1490137\eee0cbc1-5a28-4957-80a1-c1772d7fd98a.jpg" /> has a singularity at 0. We can, however, apply the same technique, first replacing <img src="3-1490137\dffb7787-3471-4381-9a2b-3929e5723be9.jpg" /> by <img src="3-1490137\5455e159-0303-4874-a683-9841a410d2dc.jpg" /> and then passing to a limit as<img src="3-1490137\3f8fd8aa-51ca-4d9d-a68d-447cbccf572e.jpg" />. This will yield inequality (4.74), which is all we need for the proof of Theorem 4.1 Let<img src="3-1490137\82d751fb-6550-4481-bf12-5e85c21792c3.jpg" />, that is</p><disp-formula id="scirp.31802-formula75105"><label>(4.76)</label><graphic position="anchor" xlink:href="3-1490137\da990f72-d57e-4a59-8822-abe732bfb464.jpg"  xlink:type="simple"/></disp-formula><p>From (3.46), (3.45), (3.49), and (3.53), we can see that</p><p><img src="3-1490137\15e96d10-3602-4bbb-8f59-0d3c0dcdc020.jpg" /></p><p>Consider the process defined as</p><disp-formula id="scirp.31802-formula75106"><label>(4.77)</label><graphic position="anchor" xlink:href="3-1490137\a9026910-953d-4fa0-85bf-4e78ee92d930.jpg"  xlink:type="simple"/></disp-formula><p><img src="3-1490137\0e860646-6510-4b75-bbe3-44a6dfbfdbcc.jpg" />, with<img src="3-1490137\1f723f1d-8299-43a4-832f-734c486163d5.jpg" />, <img src="3-1490137\827014fb-adea-44d4-b6dd-7871b2e003b0.jpg" />, and <img src="3-1490137\bec3072f-5715-41dc-84e8-df8adb7e22da.jpg" /> and <img src="3-1490137\57839803-8a3b-40d0-89e4-5790cf5e15c7.jpg" /> are defined below sequentially.</p><p>If <img src="3-1490137\09ed7d34-0ccd-4161-b2c1-abc7792aa8f5.jpg" /> (that is, no <img src="3-1490137\3e81246e-3f7a-4128-9645-ff9f2b479513.jpg" /> exists, such that (3.48) holds), then</p><disp-formula id="scirp.31802-formula75107"><label>(4.78)</label><graphic position="anchor" xlink:href="3-1490137\65010bb3-acf3-4bec-b967-a196c71e7126.jpg"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.31802-formula75108"><label>(4.79)</label><graphic position="anchor" xlink:href="3-1490137\dfeed80b-59b2-4ef0-8203-141787b5223a.jpg"  xlink:type="simple"/></disp-formula><p>If <img src="3-1490137\d85ec6d9-f679-46fe-9cf4-a27cf207442b.jpg" /> (that is, there exists an<img src="3-1490137\d057afed-a477-446f-823d-d69e8014d7a5.jpg" />, such that (3.48) holds), then</p><disp-formula id="scirp.31802-formula75109"><label>(4.80)</label><graphic position="anchor" xlink:href="3-1490137\66806259-47f4-4fe5-b4ec-58f4eaca6785.jpg"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.31802-formula75110"><label>(4.81)</label><graphic position="anchor" xlink:href="3-1490137\7c87cda4-5ba1-444d-a367-06b40123afa4.jpg"  xlink:type="simple"/></disp-formula><p>Remark 4.2. Informally, if<img src="3-1490137\8ce52290-e2a4-47bf-845a-3b02c8f1b20a.jpg" />, then process <img src="3-1490137\1137fbfb-8d3c-4bca-9c35-80b954b9d7fc.jpg" /> is a continuous diffusion process with a drift and diffusion coefficient of, <img src="3-1490137\4ce86af3-d505-4169-b720-66f4af0586df.jpg" />and <img src="3-1490137\b3117ce9-3980-4c11-a7ff-13a5f01d58b8.jpg" />, respectively, until the times of intervenetion. The times of intervention in this case are the times at which this diffusion process hits the level<img src="3-1490137\e2068f32-a818-4964-9450-0d94820e5df2.jpg" />, which are associated with the refunds of the constant amount of<img src="3-1490137\bac253a8-8ef2-4650-bb9d-b57f5a78af97.jpg" />. The time when 0 is hit is the ruin time.</p><p>When<img src="3-1490137\4809584f-cf4f-46b8-98cb-92fb29419fc1.jpg" />, the process <img src="3-1490137\87bb57fd-cd08-4e33-a0df-5f02e697ee25.jpg" /> is a continuous diffusion process with the same drift and diffusion coefficients as above, between the times of intervention. The intervention times are the times at which this process reaches either 0 or<img src="3-1490137\3309238a-47a7-44a1-abc9-99397045ef33.jpg" />. At point 0, the control is set to displace the process to point<img src="3-1490137\22b4e5fc-9f0f-46fc-9612-67ea15172ac0.jpg" />, which corresponds to raising cash (making a call to shareholders) in the amount of<img src="3-1490137\c6d01666-665b-4820-b7ba-d9142e82dbbc.jpg" />. Reaching the level <img src="3-1490137\da4776b9-6853-46cb-926c-6d8f20b79c5c.jpg" /> results in the displacement of the process to the point <img src="3-1490137\00fd45d6-45a0-4fd3-8b9d-2e85671c570e.jpg" /> which, corresponds to making a refund in the amount of<img src="3-1490137\6190326f-1fdd-476d-8396-9c534e1cd89f.jpg" />.</p><p>Theorem 4.2. (The verification theorem) Let <img src="3-1490137\f366e877-9273-4e45-a90a-64736106a4aa.jpg" /> be the control described by (4.76) and (4.79)-(4.80). Then,</p><p><img src="3-1490137\aa97bb43-ff8e-485d-b7fb-bc76ddf7f69d.jpg" /></p><p>Proof. In view of (4.67), it is sufficient to show that</p><disp-formula id="scirp.31802-formula75111"><label>(4.82)</label><graphic position="anchor" xlink:href="3-1490137\00cbd02a-51dc-4ca2-ad2c-186b58f89fa7.jpg"  xlink:type="simple"/></disp-formula><p>Equality (4.76) shows that</p><disp-formula id="scirp.31802-formula75112"><label>(4.83)</label><graphic position="anchor" xlink:href="3-1490137\ffc2803d-2a77-494e-bab2-334aa25b560e.jpg"  xlink:type="simple"/></disp-formula><p>From Propositions 3.3 and 3.5, we know that</p><p><img src="3-1490137\6166a2a9-16de-45ba-b0bf-045f89249860.jpg" />and if <img src="3-1490137\8039e44e-5278-48a2-9844-905a4d4daac0.jpg" /> then<img src="3-1490137\9a6c52c4-52e7-4fad-a3a1-1845e3525f50.jpg" />. Thus, we can repeat the arguments in the proof of Theorem 3.2 and see that, for<img src="3-1490137\df96c32f-f616-4491-8fba-ede94508e1c8.jpg" />, all of the inequalities are tight. As a result, we obtain</p><disp-formula id="scirp.31802-formula75113"><label>(4.84)</label><graphic position="anchor" xlink:href="3-1490137\e733c4ea-c024-48f6-8414-1377d5cea7dd.jpg"  xlink:type="simple"/></disp-formula><p>Because we know that, when<img src="3-1490137\66c6367b-5ed2-4065-8930-59fce19631f2.jpg" />, we have <img src="3-1490137\3edc5014-a901-4242-b74e-f7ef52d95d9b.jpg" /> and, when<img src="3-1490137\9c236ccd-4547-4b11-a47d-6d5761999c0c.jpg" />, the function V satisfies<img src="3-1490137\1ce2f629-1ba0-46bc-9620-917b53fc68b2.jpg" />, the first term on the left-hand side of (4.84) vanishes, and we get (4.82).<img src="3-1490137\9c67921a-e8a9-4f1f-abe7-537bfef7fd48.jpg" /></p></sec><sec id="s5"><title>5. Conclusions</title><p>The optimal policy in this model has several interesting nontrivial features. The fact that calls should be made only when there is no possibility of waiting any longer (that is when the reserve reaches zero) is supported by intuition. However, the qualitative structure of the optimal policy and its dependence on the model parameters are not as obvious.</p><p>It turns out that it is always optimal to pay dividends, no matter what the costs associated with such payments are. However, raising cash may not be optimal when the initial set-up cost is too high. Quantity<img src="3-1490137\08613ffb-b935-4326-8e2a-4f928f056bba.jpg" />, which determines the threshold for set-up cost<img src="3-1490137\cee68696-b1a0-4b77-aea7-6d23d206ff3e.jpg" />, such that if the cost is higher than this threshold then it is optimal to allow ruin, is in itself determined via an auxiliary problem with a one-sided impulse control. Although there is no closed-form expression for the quantity<img src="3-1490137\c213c1a0-ce47-470a-811c-db70eddd0934.jpg" />, it can be determined in an algorithmic manner prior to solving the optimal control problem for the mutual insurance company.</p><p>There is one rather curious feature of the optimal solution when<img src="3-1490137\79ace038-bb68-42f6-b883-96df0620593a.jpg" />. As our analysis shows, in this case, <img src="3-1490137\d571d314-4346-4950-a99e-87d9b8155f61.jpg" />and<img src="3-1490137\cf44a819-3f03-44dc-a525-6305a184e129.jpg" />, the same as is the case when<img src="3-1490137\dc4f6220-fc0e-4b52-bbbb-4911ed23593b.jpg" />. However, from the construction of the optimal policy, we can see that the two band-type policy is optimal in this case as well. In this borderline case, we thus have two optimal policies, one for which <img src="3-1490137\78ba4683-4b3b-46ed-a4f7-5f289a5338a8.jpg" /> with the lower band equal to <img src="3-1490137\0a857641-ce85-4164-b616-754d58879f62.jpg" /> and one for which reaching 0 corresponds to ruin and for which<img src="3-1490137\9be5a09f-2f7b-4c4d-b952-74e10a6f239c.jpg" />. This is a rather unique feature of this particular problem that has not been observed previously.</p><p>A natural question arises: what if ruin is explicitly disallowed, and we must find an optimal policy from among those for which<img src="3-1490137\9e9ef743-2ab7-46f8-a270-628b7e73c9d0.jpg" />. As can be seen from our analysiswe find a solution to this problem for the case of <img src="3-1490137\3067d976-0df9-4912-98bb-4a6836c651d1.jpg" /></p><p><img src="3-1490137\d066f535-6951-410c-a66e-86b82af9945a.jpg" />. However, when this inequality does not hold, then of the stochastic control technique and the HJB equation used in this paper do not work. Another approach should be developed, as can be seen indirectly in the work of Eisenberg [<xref ref-type="bibr" rid="scirp.31802-ref18">18</xref>] and Eisenberg and Schmidli [<xref ref-type="bibr" rid="scirp.31802-ref5">5</xref>], where a similar (although not identical) problem is considered for the case of a surplus process modeled via the classical Cramer-Lundberg model. This constitutes an interesting and challenging problem for future study, the nature of whose solution is not obvious at this time.</p></sec><sec id="s6"><title>REFERENCES</title></sec><sec id="s7"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.31802-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">G. M. Constantinides, and S. F. Richard, “Existence of Optimal Simple Policies for Discounted-cost Inventory and Cash Management in Continuous Time,” Operations Research, Vol. 26, No. 4, 1978, pp. 620-636. 
doi:10.1287/opre.26.4.620</mixed-citation></ref><ref id="scirp.31802-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">A. Bensoussan, R. H. Liu and S. P. Sethi, “Optimality of an (s, S) Policy with Compound Poisson and Diffusion Demands: AQuasi-variationalInequalities Approach,” SIAM Journal on Control and Optimization. Vol. 44, No. 5, 2006, pp. 1650-1676.  
doi:10.1137/S0363012904443737</mixed-citation></ref><ref id="scirp.31802-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">A. Cadenillas and F. Zapatero, “Classical and Impulse Stochastic Control of the Exchange Rate Using Interest Rate and Reserves,” Mathematical Finance, Vol. 10, No. 2, 2000, pp. 141-156. doi:10.1111/1467-9965.00086</mixed-citation></ref><ref id="scirp.31802-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">B. M. Hojgaard and M. Taksar, “Optimal Dynamic Portfolio Selection for a Corporation with Controllable Risk and Dividend Distribution Policy,” Quantitative Finance, Vol. 4, No. 3, 2004, pp. 256-265. 
doi:10.1088/1469-7688/4/3/007</mixed-citation></ref><ref id="scirp.31802-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">J. Eisenberg and H. Schmidli,“Minimizing Expected Discounted Capital Injections by Reinsurance in a Classical Risk Model,” Scandinavian Actuarial Journal, No. 3, 2011,pp. 155-176. doi:10.1080/03461231003690747</mixed-citation></ref><ref id="scirp.31802-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">A. Sulem, “A Solvable One-dimensional Model of A Diffusion Inventory System,” Mathematics of Operations Research, Vol. 11, No. 1, 1986, pp. 125-133. 
doi:10.1287/moor.11.1.125</mixed-citation></ref><ref id="scirp.31802-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">J. Yuan, J, “Computational Optimization of Mutual Insurance Systems: A Quasi-variational Inequality Approach,” Ph.D. Thesis, The Hong Kong Polytechnic University, 2008.</mixed-citation></ref><ref id="scirp.31802-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">M. Dawande, M. Mehrotra, V. Mookerjee and C. Srikandarajah, “An Analysis of Coordination Mechanism for the U.S. Cash Supply Chain,” Management Science, Vol. 56, No. 3, 2010, pp. 553-570. doi:10.1287/mnsc.1090.1106</mixed-citation></ref><ref id="scirp.31802-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">A. Lokka and A. M. Zervos, “Optimal Dividend and Issuance of Equity Policies in the Presence of Proportional Costs,” Insurance: Mathematics and Economics, Vol. 42, No. 3, 2008, pp. 954-961. 
doi:10.1016/j.insmatheco.2007.10.013</mixed-citation></ref><ref id="scirp.31802-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">A. Bensoussan and J. L. Menaldi, “Stochastic HybridControl,” Journal of Mathematical Analysis and Applications, Vol. 249, No. 1, 2000, pp. 261-288. 
doi:10.1006/jmaa.2000.7102</mixed-citation></ref><ref id="scirp.31802-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">M. S. Branicky, V. S. Borkar and S. K. Mitter, “A Unified Framework for Hybrid Control: Model and Optimal Control Theory,” IEEE Transactions on Automatic Control, Vol. 43, No. 1, 1998, pp. 31-45.  
doi:10.1109/9.654885</mixed-citation></ref><ref id="scirp.31802-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">A. Abate, A. D. Ames and S. Sastry, “Stochastic Approximations for Hybrid Systems,” Proceedings of the 24th American Control Conference, Portland, 2005, pp. 1557-1562.</mixed-citation></ref><ref id="scirp.31802-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">G. M. Constantinides, “Stochastic Cash Management with Fixed and Proportional Transaction Costs,” Management Science, Vol. 22, No. 12, 1976, pp. 1320-1331. 
doi:10.1287/mnsc.22.12.1320</mixed-citation></ref><ref id="scirp.31802-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">A. Cadenillas, T. Choulli, M. Taksar and L. Zhang, “Classical and Impulse Stochastic Control for the Optimization of the Dividend and Risk Policies of an Insurance Firm,” Mathematical Finance, Vol. 16, No. 1, 2006, pp. 181-202. doi:10.1111/j.1467-9965.2006.00267.x</mixed-citation></ref><ref id="scirp.31802-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">A. Cadenillas and F. Zapatero, “Optimal Central Bank Intervention in the Foreign Exchange Market,” Journal of Economic Theory, Vol. 87, No. 1, 1999, pp. 218-242. 
doi:10.1006/jeth.1999.2523</mixed-citation></ref><ref id="scirp.31802-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">J. M. Harrison, T. M. Sellke and A. J. Taylor, “Impulse control of Brownian Motion,” Mathematics of Operations Research, Vol. 8, No. 3,1983, pp. 454-466. 
doi:10.1287/moor.8.3.454</mixed-citation></ref><ref id="scirp.31802-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">J. Paulsen, “Optimal Dividend Payments and Reinvestments of Diffusion Processes with Both Fixed and Proportional Costs,” SIAM Journal on Control and Optimization, Vol. 47, No. 5, 2008, pp. 2201-2226. 
doi:10.1137/070691632</mixed-citation></ref><ref id="scirp.31802-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">J. Eisenberg, “Optimal Control of Capital Injections by Reinsurance and Investments,” Blatter der DGVFM, Vol. 31, No. 2, 2010, pp. 329-345. 
doi:10.1007/s11857-010-0124-0.</mixed-citation></ref></ref-list></back></article>