Question 9
All functions are causal (zero for ). Use the one-sided Laplace transform and . Write for and for . Values at isolated endpoints do not affect an ordinary integral.
Two normalized stages and , with , are followed by a delay : The observed response is positive precisely for , has mass , mean and variance . For a nonnegative unit-mass kernel , and .
Tasks
Prove that convolution adds the means and variances of two nonnegative unit-mass kernels with finite second moments.
Compute the mean and variance of , and explain the effect of a delay on mass, mean and variance.
Recover and the two rates from the observations. State precisely what is and is not uniquely identifiable.
For general prescribed delay , mean and variance , give necessary and sufficient conditions for two finite positive rates to exist. Interpret the equality case and the excluded upper boundary.
Show solutionHide solution
Question 9 – Solution
Strategy. Work with reciprocal rates. Convolution moment identities reduce identification to a quadratic equation.
Step 1: Prove the moment identities. In the convolution integral use , . Nonnegativity permits interchange, and finite second moments make the following values finite: Subtracting from the last line proves .
Step 2: Calculate the stage statistics. Integration by parts gives mass , first moment and second moment for . Its variance is therefore . A delay replaces time by : mass stays , the mean increases by , and the centered second moment is unchanged. Hence
Step 3: Recover the parameters. Both stage kernels are positive for positive times, so their convolution is positive at every positive time and zero at zero. The observed onset thus forces . Put , . Then Its roots are and , giving . The delay and unordered rate pair are unique. Stage order cannot be identified even from the entire output because convolution is commutative.
Step 4: Give the full feasibility condition. Write . Positive require and are possible exactly when Indeed and ; conversely these conditions make real and strictly positive. At the lower equality the rates coincide. At the upper boundary one reciprocal rate would be zero, requiring an infinite rate, excluded here.