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.