Why Choose Parameters at a Join?
Piecewise formulas can describe different rules on different parts of the real line. Their parameters can be chosen so the formulas meet continuously at a boundary. The task is to determine which values make that happen, rather than to assume that the formulas automatically agree.
At a breakpoint, continuity requires more than a visual impression that two formulas “meet.” The limit from the left, the limit from the right, and the function’s defined value must all agree. These requirements become equations in the unknown parameters.
Turning Continuity into an Equation
Recall the continuity criterion at a point \(c\): the function must be defined at \(c\), its left-hand and right-hand limits at \(c\) must exist as finite numbers, and both limits must equal \(f(c)\). This tutorial uses that criterion to find parameters in the branch formulas.
For example, suppose the function is defined by \(g(x)\) for \(x<c\) and by \(h(x)\) for \(x\ge c\). The value at the breakpoint is supplied by the second branch, so \(f(c)=h(c)\). If the branch formulas have finite limits there, continuity requires
If \(g\) and \(h\) are continuous formulas at \(c\), these conditions reduce to \(g(c)=h(c)\). This substitution is justified only when the relevant branch formulas are defined and continuous at the breakpoint. If the formula has a hole or an unbounded behavior there, evaluate its one-sided limit instead of substituting automatically.
The choice of which branch includes \(c\) matters because it determines \(f(c)\). The one-sided limit from the branch that does not include \(c\) still matters, even though that branch does not assign the function value at \(c\).
A Short Derivation of the Matching Rule
Here is why the matching equations express exactly the continuity requirement. Suppose \(f(x)=g(x)\) for \(x<c\) and \(f(x)=h(x)\) for \(x\ge c\), and assume both branch expressions have finite limits at \(c\). Since the second branch includes \(c\), \(f(c)=h(c)\). The left-hand limit is determined by \(g\), and the right-hand limit is determined by \(h\). Therefore the continuity criterion says that \(f\) is continuous at \(c\) precisely when
In the common case where \(h\) is continuous at \(c\), its right-hand limit equals \(h(c)\) already. The remaining condition is then that the left-hand limit of \(g\) equal \(h(c)\). If \(g\) is also continuous at \(c\), this is simply \(g(c)=h(c)\). Thus equating the branch values is not a separate rule: it follows from the continuity criterion and the value assigned at the breakpoint.
Worked Examples
Worked Example: Choosing One Parameter at a Breakpoint
Choose \(k\) so that the function
is continuous at \(x=1\).
The second branch includes \(x=1\), so first compute the function value:
The left-hand limit comes from the first branch. Substituting \(x=1\) in that polynomial gives
The right-hand limit comes from the second branch:
For continuity, both one-sided limits must equal \(f(1)=3\). The right-hand condition already holds, and the left-hand condition gives
Check: with \(k=2\), the left-hand limit is \(1+2=3\), the right-hand limit is \(3\), and the defined value is \(f(1)=3\). All three agree, so \(f\) is continuous at \(1\).
Worked Example: Matching Three Pieces at Two Breakpoints
Find \(a\) and \(b\) so that
is continuous at both breakpoints, \(x=0\) and \(x=2\).
At \(x=0\), the middle branch includes the breakpoint. Its value is \(f(0)=a(0)+b=b\). The left-hand limit is given by the first branch:
The right-hand limit comes from the middle branch and equals \(a(0)+b=b\). Continuity at zero therefore requires \(1=b\), so \(b=1\).
At \(x=2\), the third branch includes the breakpoint. The defined value is
The left-hand limit uses the middle branch, giving \(2a+b\). The right-hand limit uses the last branch, giving \(2^2+1=5\). Continuity at two requires
Substitute \(b=1\):
Check at zero: the left-hand limit is \(1\), the middle-branch value is \(b=1\), and the right-hand limit is \(1\). Check at two: the middle-branch limit is \(2(2)+1=5\), the defined value is \(5\), and the right-hand limit is \(5\). Thus \(a=2\) and \(b=1\) make the function continuous at both breakpoints.
Worked Example: A Constraint That Leaves More Than One Choice
Find all pairs \(a,b\) that make
continuous at \(x=1\), and then find the pair satisfying the additional condition \(a+b=5\).
The second branch supplies \(f(1)\):
The left-hand limit is the value approached by the first branch:
The right-hand limit is
Continuity requires the left-hand limit to equal the defined value, so
This is one equation in two unknowns, so it does not determine a unique pair. It describes every continuous choice: \(a=b-1\). Apply the additional condition \(a+b=5\). Substituting \(a=b-1\) gives
Then \(a=b-1=2\). Check: the left-hand limit is \(2+2=4\), and the right-hand limit and defined value are \(1+3=4\). The extra condition also holds, since \(2+3=5\).
Several Breakpoints Mean Several Conditions
For a function with three pieces and two breakpoints, continuity must be checked separately at each breakpoint. Each check compares the appropriate branch limits with the value assigned there. Do not compare only the first and last formulas: the middle formula participates in the join at each of its endpoints.
The resulting equations may have:
- a unique solution, as in the three-piece example;
- many solutions, if the continuity conditions do not determine every parameter; or
- no solution, if the conditions contradict one another.
When there are several parameters, count the independent equations as well as the unknowns. The count is useful for anticipating whether a unique choice is possible, but it does not by itself establish existence or uniqueness. Solve the equations and check their consistency.
Common Pitfall: Ignoring the Defined Value
A frequent error is to match the two one-sided limits but forget to check that they equal the function’s actual value at the breakpoint. Here is a concrete example:
Both one-sided limits at zero equal \(0\). But if \(k=4\), then \(f(0)=4\), so the limits do not equal the function value and the function is not continuous there. Continuity requires \(k=0\).
A related mistake is to substitute the breakpoint into a branch that is not defined there without checking that its formula has a finite limit. In the examples above, the branch formulas were polynomials, so their limits could be found by substitution. In general, use the one-sided limits specified by the continuity criterion, and do not assume they equal a direct substitution when that substitution is not valid.
Why the Method Is Useful
Choosing parameters to join formulas is a practical way to design a function with a desired behavior. It appears when different formulas are used in different ranges, but a sharp break at the boundary would be undesirable. The equations make the design requirement precise and expose whether the chosen family of formulas can meet it.
The method also encourages a reliable habit: treat each breakpoint as its own continuity problem. Write the value at the point first, identify which branch supplies each one-sided limit, then form and solve the equations. This keeps the branch definitions, rather than an informal picture, in control of the reasoning.
Check Your Understanding
For each question, identify the needed continuity conditions before solving.
- For \(f(x)=x+k\) when \(x<2\) and \(f(x)=3x-1\) when \(x\ge2\), what value of \(k\) makes \(f\) continuous at \(2\)?
- In a piecewise definition with \(x<c\) in the first branch and \(x\ge c\) in the second, which branch determines \(f(c)\)?
- For a function with two breakpoints and unknown parameters, why must continuity be checked separately at both points?
- Can matching the two one-sided limits be sufficient if the defined value at the breakpoint differs from them? Explain.
- What does it mean for the continuity equations to have many solutions, and what does it mean for them to have no solution?
