For a lognormal distribution, let for . The truncated lognormal moment formula gives the recovery numerator
Divide by to condition on . This handles both the partially penetrating claims and the capped payments beyond the upper attachment.
In the dividend-free Black-Scholes model, let , , , and
Then the displayed finite sum prices the European option with power put option payoff. Here is the standard normal distribution function. Indeed, conditionally has a normal distribution with mean and variance . Expand by the binomial theorem on and apply the lower truncated lognormal moment to each term. Equivalently,
This expectation representation proves monotonicity and convexity in . It also gives and as by the dominated convergence theorem. For positive the lognormal distribution smoothing makes the price smooth and strictly positive.
Under the risk-neutral measure, write
Complete the square in the normal density after multiplying by the power of . The truncated lognormal moment gives, for ,
All real powers have finite moments in this lognormal distribution. If , the indicator is identically one and . The function is an undiscounted conditional moment; the option prices below additionally include the discount factor.
The payoff is . Subtract the upper-tail truncated lognormal moments from the full moments in part c. With current spot , the price is
where and . The threshold is the original , not the current spot . Since the conditional lognormal distribution has no atoms, the strict endpoint convention does not affect the price for .
Write and . The European power put formula is
Here has a lognormal distribution. Since is decreasing and is a convex function, its discounted expected value is also decreasing and convex as a function of . For it is smooth and strictly positive: the normal distribution assigns positive probability to whatever the current positive spot price. Its endpoints are
The dominated convergence theorem justifies the second limit, because . For a quantitative sketch, the binomial theorem and truncated lognormal moment give
where is the standard normal distribution function. This finite sum is useful for drawing the curve; its positive expectation form makes its qualitative shape clearer.
Figure 1.
European power-put prices before expiry for powers one, two and three
. Details.
The solid curves use , , and ; the dashed curves show their terminal financial payoffs for comparison. Each price remains positive at and tends smoothly towards zero beyond it. At small , discounting gives a price below the undiscounted financial payoff; European exercise is permitted only at expiry.
Record the discount level at the start of each policy year as the state. A no claims discount system is a Discrete-time Markov chain when, conditional on this state, the next year's claim behavior and update rule do not depend on earlier history. Independent annual accident and loss mechanisms with a fixed state-based reporting rule give this property; one should not equate the probability of an accident with the probability of a submitted claim.
The density identifies as a standard normal random variable: substitute and . Therefore, for ,
Here is the numerical repair cost. The character preceding in the PDF is a currency symbol, not a separate multiplier.
Order states as . With the stipulated common annual probability of no submitted claims, the transition matrix is
A claim resets any state to zero, while a no-claim year raises the discount one level or keeps the top level fixed. If claim probabilities depend on the state, the corresponding row instead uses ; the same transition mechanism applies. The supplied single is a simplifying model assumption.
For a policyholder currently at zero discount, the current premium has the same value under either decision and cancels in the comparison. If the repair is self-funded and no later accidents occur, the next two premiums are and , giving a total cost including the current premium. If a claim is made, the next two premiums are and , giving total cost , with the repair paid by the insurer. Thus the two-year no-claims threshold with reset to zero is
At equality the holder is indifferent; it has probability zero under the continuous density. This assumes full reimbursement and no excess or deductible, as in the stated model.
Put . The conditional expected claim is . Completing the square in the normal integral gives the truncated lognormal moment
Dividing by the reporting probability gives the expected size of a submitted claim for the full-premium holder:
All monetary amounts must use the same unit despite the PDF's mixed currency notation. The other two current levels both have next-two-year no-claim premiums , versus after a claim, so their thresholds are . Consequently incorporating this behavioral decision into claim probabilities generally produces state-specific , rather than deriving a common from the severity density alone; no accident-frequency law is provided.
Let and write for the standard normal density, with . The change of variables converts the density integral into
Complete the square using . Integration gives the truncated lognormal moment
Here is the standard normal distribution function; take and . The identity holds for every real , including the full-interval limits, because the shifted Gaussian integral remains finite.
The limited excess of loss reinsurance payment is . It is zero below , equals for , and equals above . Since the lognormal distribution has a continuous density,
Put , , and . Applying the moment identity with and gives the conditional lognormal layer recovery
The denominator is , and payments outside that event are zero. The three numerator terms are respectively the truncated first moment, the attachment subtracted from partial payments, and the capped payments on claims above the layer. This proves the conditional expectation including the limit on each reinsurer payment.
For claims inflation by , set . Its log-mean is and its log-standard-deviation stays . The attachment and payment limit stay fixed. Therefore the requested new conditional mean is
Explicitly, in the preceding fraction replace by and replace by . Equivalently, claims inflation of a fixed reinsurance layer gives
because and the new conditioning event is . Merely multiplying the original conditional mean by would omit both of these threshold changes.
Let be the discount level during policy year , with . Under the usual assumption of independent successive annual accidents and repair costs with the same laws each year, the submitted-claim decision depends only on and that year's cost. Consequently the conditional distribution of depends on the past only through : this is the Markov property. The no claims discount system is therefore a time-homogeneous Discrete-time Markov chain. Stationarity of accident probabilities alone, without this independence assumption, would not by itself establish the Markov property.
At level one a claim keeps the policyholder at one, while no submitted claim moves them to two. At level two, a submitted claim moves them to one and no claim to three. At level three, a claim moves them to two and no claim keeps them at three. Thus in the specified transition matrix is the annual probability of a submitted claim at current level , not merely of an accident. A small accident paid privately counts as no claim for these transitions.
Let denote the undiscounted annual premium. It is not specified numerically in the source; costs can instead be measured in units of that premium, giving . The actual premium payments at the three levels are , , and . Compare the two future paths, assuming no further accidents, to obtain the two-year premium-loss claim threshold. From level one, a current claim leads to future levels , whereas no claim leads to , giving extra premium
From level two the two paths are and , and from level three they are and . Hence
These are all strictly positive. The PDF's discount fractions are and ; the converted TeX has lost these factors in the percentages.
For a repair cost with the specified lognormal distribution, . Put
where is the standard normal distribution function. Conditional on an accident, the submitted-claim probability is . Multiplying by the accident probability gives
Set for the premium-unit convention. Without a monetary premium scale, discount percentages alone cannot determine a numerical threshold for a monetary repair cost.
This nearest-neighbour Markov chain is a finite birth-death chain. Its stationary distribution satisfies the endpoint balance equations
These detailed balance equations also imply the middle-state balance equation. The three-level no claims discount equilibrium is therefore
where
Since each lies strictly between zero and one, this is an irreducible Markov chain. Positive holding probabilities at the endpoints also make it an aperiodic Markov chain. Its unique stationary distribution is the limiting distribution even from the initial level one, and gives the steady-state proportions for a homogeneous population of such policyholders.
A submitted claim at level one conditions the repair cost on . The accident probability cancels in this conditional expectation. For , the truncated lognormal moment follows by completing the square:
Dividing by yields the expected size of an actual submitted claim:
The unconditional expected amount paid per year from level one would instead multiply its tail first moment by ; it is not the conditional claim size requested here.
Expand the payoff as . The same risk-neutral measure applies. For any real , completing the square gives the truncated lognormal moment
Using and discounting by gives
The inverse-price moment explains both the extra volatility factor and the shifted normal argument in the last term.