Domain of Algebraic Functions

Concept Explanation

When determining the domain of an algebraic expression, we assume the initial domain is the entire real number line $(-\infty, \infty)$ unless restricted by specific mathematical operations. The three primary operational boundaries are:

1. The Three Primary Domain Restrictions

1. Even Roots (Radicand Non-Negativity): For any even index root $\sqrt[2n]{u(x)}$ (such as square roots $\sqrt{u(x)}$ or fourth roots $\sqrt[4]{u(x)}$), the expression inside the radical cannot be negative:

   $$u(x) \ge 0$$
   (Note: Odd index roots such as $\sqrt[3]{u(x)}$ are defined for all real numbers and impose no sign restrictions.)

2. Rational Fractions (Non-Zero Denominators): Division by zero is undefined. For any quotient $\frac{P(x)}{Q(x)}$, the denominator must never equal zero:

   $$Q(x) \ne 0$$

3. Logarithmic Arguments (Strict Positivity): Logarithms are only defined for strictly positive real arguments. For $\ln(u(x))$ or $\log_b(u(x))$:

   $$u(x) > 0$$

2. Combined & Compound Restrictions

When an even root appears directly in the denominator of a fraction, such as $\frac{P(x)}{\sqrt{u(x)}}$, the two conditions combine into a single strict inequality:

This simultaneously prevents taking the square root of a negative number ($u(x) \ge 0$) and dividing by zero ($\sqrt{u(x)} \ne 0$).

3. Finding Simultaneous Domains via Set Intersection ($\cap$)

When a function contains multiple components or operations (such as composite functions or vector-valued functions $\vec{r}(t) = \langle f(t), g(t), h(t) \rangle$), each component imposes its own independent constraint. The global domain is the set intersection of all individual intervals:

• Number Line Visualization: Graph each individual inequality interval as a shaded line on a shared horizontal axis. The global domain corresponds exclusively to the sub-intervals where all shaded lines overlap.
• Empty Set ($\emptyset$): If two or more restrictions produce mutually exclusive conditions with no overlapping points (for instance, $t \ge 5$ and $t \le 2$), the domain is the empty set $\emptyset$, indicating the function cannot exist in real physical space.

---

When to Use It / Method Comparison

---

Why We Use It in Calculus (MATH-181 & MATH-283 Context)

1. Vector-Valued Trajectories (MATH-283): In Calculus III, spatial paths are parameterized as $\vec{r}(t) = \langle f(t), g(t), h(t) \rangle$. Evaluating motion requires finding the time interval over which all three coordinate sensors are operational. If one coordinate function is undefined at time $t_0$, the 3D position vector does not exist.
2. Smooth Curves and Differentiability: A space curve $\vec{r}(t)$ can only possess a velocity vector $\vec{v}(t) = \vec{r}'(t)$ or unit tangent vector $\hat{T}(t)$ on an open subset of its domain where all component derivatives exist simultaneously.
3. Definite Integration Limits: In both single-variable and multivariable calculus, setting the upper and lower limits of an integral $\int_a^b \vec{r}(t)\,dt$ requires verifying that the entire interval $[a, b]$ lies completely within the function's domain.

---

Engineering Applications

• Robotic Arm Workspace Envelopes: Inverse kinematics models calculate joint angles using trigonometric and radical formulas. The mathematical domain of these equations defines the physical reachable workspace boundary; inputs outside the domain correspond to mechanically unreachable coordinates.
• Sensor Operating Envelopes: Instrumentation circuits often map physical variables (temperature, pressure, acoustic frequency) through logarithmic or square-root transfer functions. The mathematical domain identifies the valid sensor operational range before saturation or component failure occurs.
• Aerospace Trajectory Envelopes: Flight management software computes fuel consumption and aerodynamic drag using altitude and velocity parameters. Domain boundaries define aerodynamic stall limits or operational ceilings where flight equations become physically invalid.

---

Example Problems

Example 1: Compound Single-Variable Domain

Find the domain of the function $f(x)$ and express your answer in interval notation:

Solution

Step 1: Identify all individual restrictions.

1. Even Root Restriction (Numerator): The radicand of the square root must be non-negative:
   $$16 - x^2 \ge 0$$
2. Rational Denominator Restriction: The denominator cannot equal zero:
   $$x - 2 \ne 0 \implies x \ne 2$$

Step 2: Solve the quadratic inequality. Factor the difference of squares:

$$(4 - x)(4 + x) \ge 0$$

The boundary roots are $x = -4$ and $x = 4$. Testing a test point $x = 0$: $(4)(4) = 16 \ge 0$ (True). Therefore, the radicand is non-negative on the closed interval:

$$[-4, 4]$$

Step 3: Intersect the conditions. We must exclude $x = 2$ from the interval $[-4, 4]$:

$$\text{Domain}(f) = [-4, 2) \cup (2, 4]$$

---

Example 2: Component Domain Intersection for a Vector-Valued Function

Determine the domain of the vector-valued function $\vec{r}(t)$ in $\mathbb{R}^3$:

Solution

Step 1: Determine the domain of the $x$-component $x(t) = \sqrt{t + 5}$. The square root radicand must be non-negative:

$$t + 5 \ge 0 \implies t \ge -5$$

$$\text{Domain}(x) = [-5, \infty)$$

Step 2: Determine the domain of the $y$-component $y(t) = \frac{8}{t - 3}$. The denominator cannot be zero:

$$t - 3 \ne 0 \implies t \ne 3$$

$$\text{Domain}(y) = (-\infty, 3) \cup (3, \infty)$$

Step 3: Determine the domain of the $z$-component $z(t) = \ln(7 - t)$. The argument of the natural logarithm must be strictly positive:

$$7 - t > 0 \implies t < 7$$

$$\text{Domain}(z) = (-\infty, 7)$$

Step 4: Intersect all three component domains. We compute $\text{Domain}(\vec{r}) = \text{Domain}(x) \cap \text{Domain}(y) \cap \text{Domain}(z)$:

• Combining $t \ge -5$ and $t < 7$ gives the half-open interval $[-5, 7)$.
• Removing the point discontinuity at $t = 3$ splits the interval:
  $$\text{Domain}(\vec{r}) = [-5, 3) \cup (3, 7)$$

---

Connections & References

• Parent Concepts:
  • Solving Inequalities
  • Calculus Foundations
• Related Concepts:
  • Vector Valued Functions
  • Continuity
  • Domain and Range of Multivariable Functions
  • Multivariable Functions
• Course Links:
  • Calc-3 Discussion 02
  • Session 05 - Vector-Valued Functions and Derivatives
  • Session 08 - Multivariable Functions