Tutorials › Calculus III › Restricting a Function to a Parametrized Boundary

Absolute Extrema on Regions · Tutorial 429 of 999

Restricting a Function to a Parametrized Boundary

Use a parametrization to express a function along a boundary as a one-variable function, and check that the parameter interval covers the intended boundary piece.

Intermediate 9 min read

What You'll Learn

  • Define the restriction of a function to a parametrized boundary.
  • Parametrize line segments using their endpoints.
  • Substitute line and circle parametrizations into two-variable functions.
  • Choose parameter intervals that cover the intended boundary piece.
  • Verify a boundary restriction by checking its values at known points.
  • Recognize common errors in parametrization and parameter domains.

From a Boundary Curve to One Variable

A function \(f(x,y)\) depends on two coordinates, but along a specified boundary curve the coordinates are linked. If the curve is described by a parameter \(t\), then both \(x\) and \(y\) become functions of \(t\). Substituting those expressions into \(f\) produces a one-variable function.

This is useful when studying a function on a region with a boundary. The restriction records the function's values along a particular boundary piece, using the parameter to keep track of position. The essential steps are to choose a parametrization that covers the intended piece and then substitute both coordinate functions into \(f\).

Definition: Let \(f\) be a function of two variables, and let \(\mathbf{r}(t)=(x(t),y(t))\) parametrize a curve \(C\) for \(t\) in an interval \(I\). The restriction of \(f\) to this parametrized curve is the one-variable function \(g:I\to\mathbb{R}\) defined by \(g(t)=f(x(t),y(t))=f(\mathbf{r}(t))\).

The expression \(g(t)\) gives the value of \(f\) at the point on the curve corresponding to \(t\). It does not change the original function; it describes its values only along the curve traced by \(\mathbf{r}\).

Why the Substitution Captures the Curve

Suppose a parametrization \(\mathbf{r}:I\to\mathbb{R}^2\) traces exactly the boundary piece \(C\), meaning that \(\mathbf{r}(I)=C\). Each parameter value \(t\) gives a point of \(C\), and every point of \(C\) is reached by at least one parameter value. It follows that the values of the restricted function are exactly the values of \(f\) on \(C\).

$$ \{g(t):t\in I\} = \{f(x,y):(x,y)\in C\}. $$

To see both inclusions, first take any \(t\in I\). Since \(\mathbf{r}(t)\in C\), we have \(g(t)=f(\mathbf{r}(t))\), which is a value of \(f\) on \(C\). Conversely, take any \((x,y)\in C\). Because \(\mathbf{r}(I)=C\), there is some \(t\in I\) with \(\mathbf{r}(t)=(x,y)\). Then \(f(x,y)=g(t)\). Thus the two sets of values are equal.

This argument explains why the parameter interval matters as much as the substitution. If the parametrization misses part of \(C\), the resulting one-variable function describes only the part it reaches. If it traces points outside the intended piece, the restriction includes values from the wrong curve.

Parametrizing a Line Segment

Let the endpoints of a line segment be \(P=(x_0,y_0)\) and \(Q=(x_1,y_1)\). A standard parametrization is the linear interpolation \(\mathbf{r}(t)=(1-t)P+tQ\), for \(0\le t\le 1\). In coordinates, this is

$$ x(t)=x_0+t(x_1-x_0), \qquad y(t)=y_0+t(y_1-y_0), \qquad 0\le t\le 1. $$

At \(t=0\), the point is \(P\); at \(t=1\), it is \(Q\). For values between 0 and 1, both coordinates move linearly between their endpoint values, so the parametrization traces the segment. The interval must be retained: allowing \(t\) to range over all real numbers traces the entire line through the endpoints, not just the segment.

Worked Example: Restricting a Function to a Line Segment

Restrict \(f(x,y)=x^2+xy+2y^2\) to the segment from \(P=(1,-1)\) to \(Q=(3,2)\). First find the coordinate increments: \(3-1=2\) and \(2-(-1)=3\). Therefore a parametrization is

$$ x(t)=1+2t,\qquad y(t)=-1+3t,\qquad 0\le t\le 1. $$

Substitute both expressions into \(f\), keeping the three terms separate:

$$ \begin{aligned} g(t) &=f(1+2t,-1+3t)\\ &=(1+2t)^2+(1+2t)(-1+3t)+2(-1+3t)^2\\ &=(1+4t+4t^2)+(-1+t+6t^2)+2(1-6t+9t^2)\\ &=1+4t+4t^2-1+t+6t^2+2-12t+18t^2\\ &=2-7t+28t^2,\qquad 0\le t\le 1. \end{aligned} $$

Check the endpoints against the original function. At \(t=0\), the parametrization gives \((1,-1)\), and \(g(0)=2\). Directly, \(f(1,-1)=1-1+2=2\). At \(t=1\), it gives \((3,2)\), and \(g(1)=2-7+28=23\). Directly, \(f(3,2)=9+6+8=23\). The endpoint values agree.

Parametrizing a Circle

A circle of radius \(R>0\), centered at \((h,k)\), has the standard parametrization

$$ x(t)=h+R\cos t,\qquad y(t)=k+R\sin t. $$

For a full traversal, take \(0\le t\le 2\pi\). This traces every point on the circle, with the starting point repeated at the final parameter value. Repeating a point is harmless: the purpose is to cover the circle, not necessarily to assign a unique parameter to each point. For a circle centered at the origin, set \(h=k=0\). An arc uses a smaller interval chosen to trace just that arc.

Worked Example: Restricting a Function to a Full Circle

Restrict \(f(x,y)=x^2+y^2+xy\) to the circle of radius \(2\) centered at the origin. Use

$$ x(t)=2\cos t,\qquad y(t)=2\sin t,\qquad 0\le t\le 2\pi. $$

Substitution gives

$$ \begin{aligned} g(t) &=(2\cos t)^2+(2\sin t)^2+(2\cos t)(2\sin t)\\ &=4\cos^2t+4\sin^2t+4\sin t\cos t\\ &=4+2\sin(2t),\qquad 0\le t\le 2\pi. \end{aligned} $$

In the last step, use \(\cos^2t+\sin^2t=1\) and \(2\sin t\cos t=\sin(2t)\). Check the formula at three points. When \(t=0\), the point is \((2,0)\); the original function gives \(4\), and \(g(0)=4\). When \(t=\frac{\pi}{2}\), the point is \((0,2)\); the original function gives \(4\), and \(g(\frac{\pi}{2})=4\). When \(t=\frac{\pi}{4}\), the point is \((\sqrt{2},\sqrt{2})\); the original function gives \(2+2+2=6\), and \(g(\frac{\pi}{4})=4+2=6\). These checks agree.

Worked Example: Restricting to a Semicircular Arc

Restrict \(f(x,y)=x+2y\) to the upper semicircle \(x^2+y^2=9\), where \(y\ge 0\). The radius is \(3\), and the upper half is traced by

$$ x(t)=3\cos t,\qquad y(t)=3\sin t,\qquad 0\le t\le\pi. $$

The interval is \(0\le t\le\pi\) because \(\sin t\ge 0\) there. Substituting gives

$$ g(t)=f(3\cos t,3\sin t) =3\cos t+6\sin t,\qquad 0\le t\le\pi. $$

Check the ends and the midpoint of the interval. At \(t=0\), the point is \((3,0)\), so \(f(3,0)=3\), and \(g(0)=3\). At \(t=\pi\), the point is \((-3,0)\), so \(f(-3,0)=-3\), and \(g(\pi)=-3\). At \(t=\frac{\pi}{2}\), the point is \((0,3)\), so \(f(0,3)=6\), and \(g(\frac{\pi}{2})=6\). The parametrization reaches the two endpoints and the top of the arc, and the function values match.

The Chain Rule Along a Parametrized Curve

If \(f\) has continuous first partial derivatives near the curve and \(x(t)\) and \(y(t)\) are differentiable, then \(g(t)=f(x(t),y(t))\) is differentiable. The multivariable chain rule gives

$$ g'(t) = f_x(x(t),y(t))x'(t) + f_y(x(t),y(t))y'(t). $$

This rule follows by tracking how changes in \(t\) change each coordinate. To first order, a small change \(\Delta t\) produces coordinate changes \(x'(t)\Delta t\) and \(y'(t)\Delta t\). The corresponding first-order change in \(f\) is \(f_x\) times the change in \(x\), plus \(f_y\) times the change in \(y\). Dividing by \(\Delta t\) and taking the limit gives the displayed formula. The formula applies where the stated differentiability conditions hold; the substitution \(g(t)=f(x(t),y(t))\) itself does not require differentiability.

For example, in the line-segment calculation, \(f_x=2x+y\), \(f_y=x+4y\), \(x'(t)=2\), and \(y'(t)=3\). Along the segment, \(x=1+2t\) and \(y=-1+3t\). Therefore

$$ \begin{aligned} g'(t) &=(2(1+2t)+(-1+3t))\,2 +((1+2t)+4(-1+3t))\,3\\ &=(1+7t)\,2+(-3+14t)\,3\\ &=2+14t-9+42t\\ &=-7+56t. \end{aligned} $$

Direct differentiation of the restricted function \(g(t)=2-7t+28t^2\) also gives \(g'(t)=-7+56t\), confirming the chain-rule calculation.

Common Parametrization Errors

A frequent line-segment error is to use endpoint coordinates as increments. For the segment from \((1,-1)\) to \((3,2)\), one might incorrectly write \(x=1+3t\), \(y=-1+2t\), with \(0\le t\le1\). At \(t=1\), this gives \((4,1)\), not the required endpoint \((3,2)\). The correction is to subtract the starting coordinates from the ending coordinates: the increments are \(3-1=2\) and \(2-(-1)=3\). Thus the correct parametrization is \(x=1+2t\), \(y=-1+3t\).

Another error is to use a correct circle formula with an interval that traces the wrong portion. For example, \(x=3\cos t\), \(y=3\sin t\), \(0\le t\le\pi\) describes the upper semicircle, not the full circle. To trace the full circle, use \(0\le t\le2\pi\). Always check both the equations of the curve and the parameter range.

Key takeaway: To restrict \(f(x,y)\) to a boundary piece, choose coordinate functions that trace that piece, specify the parameter interval, and form \(g(t)=f(x(t),y(t))\). Verify the parametrization and substitution at points whose coordinates are easy to identify.

Once a boundary piece has been converted into a one-variable function, it can be studied using one-variable methods. The boundary restriction is the setup: its correctness depends on the curve, the interval, and the substitution all matching the intended boundary piece.

Check Your Understanding

For each question, identify the curve and parameter interval before simplifying the function.

  1. Give a parametrization on \(0\le t\le1\) of the segment from \((-2,1)\) to \((1,5)\).
  2. Restrict \(f(x,y)=x+y\) to the segment parametrized by \(x=1+t\), \(y=2-2t\), \(0\le t\le1\).
  3. For \(x=4\cos t\), \(y=4\sin t\), what interval gives one full traversal of the circle? What interval gives the upper semicircle?
  4. Restrict \(f(x,y)=x^2+y^2\) to the circle of radius \(3\) centered at the origin.
  5. Explain why a correct formula for a line is not sufficient to specify a line segment.