OT2.2, OT2.5, OT3.2, OT3.3 - Applying and extending mathematics from an unfamiliar passage

OT2.2, OT2.5, OT3.2, OT3.3 - Applying and extending mathematics from an unfamiliar passage

Build a connected solution from a supplied update rule, decide when its target is met and judge how much confidence the calculation deserves. You will use a model with suitable inputs, interpret its outputs and separate numerical accuracy from the limitations of the procedure being modelled.

Reading an update rule

Can a setting move closer to its target at every update, yet never reach it exactly? Suppose a brightness setting starts at 120120, aims for 180180, and closes one quarter of the remaining gap each time. The first update adds 1515; the next adds only 11.2511.25. This is no ordinary arithmetic sequence.

You already know

A geometric sequence multiplies by the same ratio each time. Subscripts count positions or updates: starting at r0r_0, one update produces r1r_1. Logarithms turn powers into products, but dividing an inequality by a negative number reverses its direction.

Read this passage as a model with declared assumptions. You do not need prior knowledge of display electronics; every rule needed here is supplied.

A gradual display adjustment

[D1] A display has a numerical brightness setting between 00 and 255255. To move gradually towards a fixed target LL, a designer uses

rn+1=rn+λ(L−rn),n=0,1,2,…r_{n+1}=r_n+\lambda(L-r_n),\qquad n=0,1,2,\ldots
> > Here $r_0$ is the initial setting and $0<\lambda<1$ is a fixed adjustment fraction. The model uses real-number settings, without rounding, clipping or response delay. > > **[D2]** In the example, $L=180$, $r_0=120$ and $\lambda=\frac14$. The design target is a setting within $0.5$ of $180$, including the boundary. The designer asks for the least number of updates. > > **[D3]** A practical implementation might round every new setting. That would change the procedure, so its accuracy must be checked separately. The adjustment is a fraction of the **remaining gap**, not a fixed fraction of the target. D2 begins as follows. | Updates $n$ | Setting $r_n$ | Signed gap $180-r_n$ | |---|---|---| | $0$ | $120$ | $60$ | | $1$ | $135$ | $45$ | | $2$ | $146.25$ | $33.75$ | | $3$ | $154.6875$ | $25.3125$ | The settings are not geometric, but the gaps are. Naming the right quantity reveals the familiar structure hidden inside the passage.

Signed deviation

Define en=L−rne_n=L-r_n. It is positive below the target, zero at the target and negative above it. The distance from the target is ∣en∣|e_n|, not necessarily ene_n.

Subtract D1 from LL to obtain a simpler update rule:

en+1=L−[rn+λ(L−rn)]use D1=(1−λ)(L−rn)factor the gap=(1−λ)enuse the definition\begin{aligned} e_{n+1}&=L-\bigl[r_n+\lambda(L-r_n)\bigr] && \text{use D1}\\ &=(1-\lambda)(L-r_n) && \text{factor the gap}\\ &=(1-\lambda)e_n && \text{use the definition} \end{aligned}

Repeated multiplication, starting at index zero, therefore gives

en=(L−r0)(1−λ)n,rn=L−(L−r0)(1−λ)ne_n=(L-r_0)(1-\lambda)^n,\qquad r_n=L-(L-r_0)(1-\lambda)^n

These are passage-specific results to derive from D1; they are not in the formula sheet. Check the initial condition and the update relation, rather than relying on a few matching numerical terms.

Worked example 1: approaching from below

Question. For D1 with L=180L=180, λ=14\lambda=\frac14 and r0=120r_0=120, find r1r_1, r2r_2 and an expression for rnr_n. Explain whether the sequence overshoots the target.

Plan. Calculate two updates, then use the signed geometric deviation to describe every update.

  1. Apply D1 twice:
r1=120+14(60)=135,r2=135+14(45)=146.25r_1=120+\frac14(60)=135,\qquad r_2=135+\frac14(45)=146.25
  1. Use the initial gap and its multiplier:
e0=60,en+1=34en⟹en=60(34)ne_0=60,\qquad e_{n+1}=\frac34e_n\quad\Longrightarrow\quad e_n=60\left(\frac34\right)^n
  1. Convert the deviation back into a setting:
rn=180−60(34)n<180r_n=180-60\left(\frac34\right)^n<180

Why this step? The positive deviation stays positive while shrinking; it cannot change sign and produce an overshoot.

Answer. r1=135r_1=135, r2=146.25r_2=146.25 and rn=180−60(3/4)nr_n=180-60(3/4)^n. The settings approach the target from below without overshooting.

Check. At n=0n=0, the formula gives 120120. Multiplying its gap by 3/43/4 gives the next required gap, so the formula satisfies D1 at every step.

Worked example 2 changes only the initial setting to one above the target. Keep the sign of the initial deviation; the rule itself is unchanged.

Worked example 2: approaching from above

Question. For D1 with L=180L=180, λ=14\lambda=\frac14 and r0=240r_0=240, find r1r_1, r2r_2 and an expression for rnr_n. Explain whether the sequence overshoots the target.

Plan. Calculate the first updates, then retain the negative signed deviation in the geometric expression.

  1. Apply D1 with a negative gap:
r1=240+14(−60)=225,r2=225+14(−45)=213.75r_1=240+\frac14(-60)=225,\qquad r_2=225+\frac14(-45)=213.75
  1. Track the signed deviation:
e0=−60,en=−60(34)ne_0=-60,\qquad e_n=-60\left(\frac34\right)^n
  1. Recover the setting by subtracting that negative deviation:
rn=180+60(34)n>180r_n=180+60\left(\frac34\right)^n>180

Why this step? Replacing the initial deviation by its magnitude would put the setting on the wrong side of the target.

Answer. r1=225r_1=225, r2=213.75r_2=213.75 and rn=180+60(3/4)nr_n=180+60(3/4)^n. The settings approach from above without crossing below the target.

Check. At n=0n=0, the formula gives 240240; at n=1n=1, it gives 225225, agreeing with the update.

There is also a direct range check. D1 can be written as rn+1=(1−λ)rn+λLr_{n+1}=(1-\lambda)r_n+\lambda L, a weighted average with positive weights summing to one. It lies between the current value and the target. If both are in the device's range, the next value stays in that range too. Starting exactly at the target leaves the setting fixed.

Watch out

Wrong: add λL\lambda L on every update. Right: add λ(L−rn)\lambda(L-r_n). The shrinking gap is the reason the increments shrink; a constant increment would describe a different procedure.

The next initial value is still above the target, but has a different signed gap.

A stopping condition

Turn a target into an exact inequality before deciding which integer number of updates answers the question.

D2 uses distance from the target. This works for starts above or below it, whereas a signed gap alone could be negative and appear to satisfy a tolerance immediately.

Tolerance

A tolerance δ>0\delta>0 specifies an allowed distance from a target. “Within δ\delta, including the boundary” means ∣L−rn∣≤δ|L-r_n|\le\delta. “Strictly less than δ\delta away” means ∣L−rn∣<δ|L-r_n|<\delta.

For D2 the distance is 60(3/4)n60(3/4)^n. It decreases at every update, so once a tolerance is met it stays met. Logarithms locate the first possible integer; neighbouring values provide a useful check.

Worked example 3: solving the passage's stopping request

Question. For D2, find the least number of updates needed to be within 0.50.5 of the target, including the boundary. Justify minimality. Give neighbouring distances to 44 significant figures.

Plan. Solve the distance inequality with logarithms, take the least allowed integer and check its predecessor.

  1. Write the inclusive distance condition:
60(34)n≤0.5⟺(34)n≤112060\left(\frac34\right)^n\le0.5\quad\Longleftrightarrow\quad \left(\frac34\right)^n\le\frac1{120}
  1. Take logarithms and divide by a negative number:
nln⁡(3/4)≤ln⁡(1/120)⟹n≥ln⁡(1/120)ln⁡(3/4)≈16.6416n\ln(3/4)\le\ln(1/120)\quad\Longrightarrow\quad n\ge\frac{\ln(1/120)}{\ln(3/4)}\approx16.6416
  1. Test the neighbouring integer counts using the unrounded model:
∣e16∣≈0.6014>0.5,∣e17∣≈0.4510<0.5|e_{16}|\approx0.6014>0.5,\qquad |e_{17}|\approx0.4510<0.5

Why this step? ln⁡(3/4)<0\ln(3/4)<0, so the inequality reverses. The answer is an update count above the real threshold, not its ordinary rounded value.

Answer. The least count is 1717 updates. The distance decreases throughout, 1616 fails and 1717 succeeds.

Check. r17≈179.5490r_{17}\approx179.5490, so its distance from 180180 is about 0.45100.4510, consistent with the inequality.

Worked example 4 changes only the tolerance from 0.50.5 to 11. A wider tolerance should require fewer updates; the same outputs and precision are requested.

Worked example 4: a wider permitted gap

Question. For D2's update model, find the least number of updates needed to be within 11 of the target, including the boundary. Justify minimality. Give neighbouring distances to 44 significant figures.

Plan. Replace the tolerance in the same inequality and retain full precision until choosing the integer.

  1. Form the distance inequality:
60(34)n≤1⟺(34)n≤16060\left(\frac34\right)^n\le1\quad\Longleftrightarrow\quad \left(\frac34\right)^n\le\frac1{60}
  1. Use the negative logarithm correctly:
n≥ln⁡(1/60)ln⁡(3/4)≈14.2322n\ge\frac{\ln(1/60)}{\ln(3/4)}\approx14.2322
  1. Check the two boundary counts:
∣e14∣≈1.069>1,∣e15∣≈0.8018<1|e_{14}|\approx1.069>1,\qquad |e_{15}|\approx0.8018<1

Why this step? The real threshold is just above 1414; rounding it to 1414 would select an update count that fails.

Answer. The least count is 1515 updates. Decreasing distance, together with failure at 1414 and success at 1515, establishes minimality.

Check. The wider tolerance reduces the count from 1717 to 1515, as expected. The unrounded setting at 1515 is about 179.1982179.1982.

Boundary wording can matter even when a logarithmic threshold is an exact integer. In a separate model with distance 32(1/2)n32(1/2)^n, the distance at n=5n=5 is exactly 11. An inclusive tolerance of 11 first works at 55; a strict distance less than 11 first works at 66, when the distance is 1/21/2.

Watch out

Wrong: n≤16.6416n\le16.6416, after dividing by ln⁡(3/4)\ln(3/4). Right: n≥16.6416n\ge16.6416, because the divisor is negative. Check a larger count: it must produce a smaller distance.

Continue this lesson.

You’re previewing NovaLearn without an account. Create a free account to read the rest.

Create free account