3.3 Power Functions and Comparative Growth Rates

3.3 Power Functions and Comparative Growth Rates

Power functions form the third major elementary function family studied alongside exponential and logarithmic functions in Gaokao Mathematics. While power functions $y = x^\alpha$ appear simple, their analytic properties vary significantly depending on whether the exponent $\alpha$ is positive, negative, integer, or rational. Furthermore, comparing the asymptotic growth rates of logarithmic functions, power functions, and exponential functions as $x \to +\infty$ represents one of the most frequently examined themes in Gaokao multiple-choice questions and derivative application problems.

1. Definition and Structural Properties of Power Functions

Definition of Power Functions

A function of the form $f(x) = x^\alpha$ (where $\alpha \in \mathbb{R}$ is a constant real exponent and variable $x$ is the base) is defined as a power function.

Structural Verification Rules:

1. The coefficient of $x^\alpha$ MUST be exactly $1$. Expressions like $y = 3x^2$ or $y = x^2 + 1$ are NOT pure power functions.
2. The exponent $\alpha$ MUST be a fixed constant, while the base $x$ MUST be the variable.

The Universal Fixed Point

Every power function $y = x^\alpha$ passes through the point $(1, 1)$ in the Cartesian plane because $1^\alpha = 1$ for all $\alpha \in \mathbb{R}$.

Analysis of Five Classic Gaokao Power Functions

2. First Quadrant Behavior of $y = x^\alpha$

In the first quadrant ($x > 0$), power function graphs exhibit distinct curvature based on $\alpha$:

1. When $\alpha > 0$:
   • All graphs pass through $(0, 0)$ and $(1, 1)$.
   • All functions are strictly increasing on $(0, +\infty)$.
   • If $\alpha > 1$: Graph is concave up (convex), growing faster than $y = x$.
   • If $0 < \alpha < 1$: Graph is concave down (concave), growing slower than $y = x$.
2. When $\alpha = 0$:
   • $y = x^0 = 1$ ($x \neq 0$), representing a horizontal line with a point discontinuity at $x=0$.
3. When $\alpha < 0$:
   • All graphs pass through $(1, 1)$ but DO NOT pass through $(0, 0)$.
   • All functions are strictly decreasing on $(0, +\infty)$.
   • Both the $x$-axis ($y = 0$) and $y$-axis ($x = 0$) serve as asymptotes.

3. Asymptotic Hierarchy of Growth Rates ($\log_a x \ll x^\alpha \ll b^x$)

The Fundamental Growth Rate Theorem

In Gaokao Mathematics, comparing how fast different elementary functions grow as $x \to +\infty$ is governed by the Asymptotic Growth Hierarchy Theorem. For any logarithmic base $a > 1$, exponential base $b > 1$, and positive power exponent $\alpha > 0$:

Hierarchical Speed Summary

As $x \to +\infty$, the growth speeds rank in order of overwhelming dominance:

• Logarithmic Growth ($y = \log_a x$): Extremely slow growth. Derivative $y' = \frac{1}{x \ln a} \to 0^+$ rapidly as $x \to +\infty$.
• Power Growth ($y = x^\alpha$): Moderate polynomial growth determined by degree $\alpha$.
• Exponential Growth ($y = b^x$): Explosive growth. Derivative $y' = b^x \ln b$ grows proportionally to function height, eventually overtaking any polynomial power function regardless of degree.

4. Worked Gaokao Exam Examples

Example 1: Comparing Values of Exponential, Logarithmic, and Power Terms

Problem: Compare the magnitude of $a = 2^{0.3}$, $b = \log_2 0.3$, and $c = 0.3^{0.2}$.

Detailed Solution:

1. Compare $a = 2^{0.3}$ against Benchmark $1$:
   • Consider exponential function $y = 2^x$. Base $2 > 1$, so it is strictly increasing.
   • Since $0.3 > 0$, $a = 2^{0.3} > 2^0 = 1$. Thus, $a > 1$.
2. Compare $b = \log_2 0.3$ against Benchmark $0$:
   • Consider logarithmic function $y = \log_2 x$. Base $2 > 1$, so it is strictly increasing.
   • Since $0.3 \in (0, 1)$, $b = \log_2 0.3 < \log_2 1 = 0$. Thus, $b < 0$.
3. Compare $c = 0.3^{0.2}$ against Benchmarks $0$ and $1$:
   • Consider exponential function $y = 0.3^x$. Base $0.3 \in (0, 1)$, so it is strictly decreasing.
   • Since $0.2 > 0$, $c = 0.3^{0.2} < 0.3^0 = 1$.
   • Since $0.3 > 0$, $0.3^{0.2} > 0$. Thus, $0 < c < 1$.
4. Combine Benchmarks: $$b < 0 < c < 1 < a$$
5. Conclusion: The strict ascending order is $b < c < a$.

Example 2: Intersection Points and Zero-Point Analysis of Transcendental Equations

Problem: Determine the number of real roots for the equation $e^x = k x$ when parameter $k > 0$.

Detailed Solution:

1. Transform to Function Form: For $x > 0$, rewrite the equation as: $$k = \frac{e^x}{x}$$ Let $f(x) = \frac{e^x}{x}$ defined on $(0, +\infty)$.
2. Differentiate to Find Extremum: $$f'(x) = \frac{e^x \cdot x - e^x \cdot 1}{x^2} = \frac{e^x(x-1)}{x^2}$$
   • Setting $f'(x) = 0$ yields critical point $x = 1$.
   • On $(0, 1)$: $x-1 < 0 \implies f'(x) < 0$, so $f(x)$ is strictly decreasing.
   • On $(1, +\infty)$: $x-1 > 0 \implies f'(x) > 0$, so $f(x)$ is strictly increasing.
3. Calculate Minimum Value and Limits:
   • Minimum value occurs at $x = 1$: $f(1) = \frac{e^1}{1} = e$.
   • Limit as $x \to 0^+$: $\lim_{x \to 0^+} \frac{e^x}{x} = +\infty$.
   • Limit as $x \to +\infty$: By exponential dominance over linear power, $\lim_{x \to +\infty} \frac{e^x}{x} = +\infty$.
4. Evaluate Number of Real Roots Based on Parameter $k$:
   • If $k > e$: The horizontal line $y = k$ intersects $y = f(x)$ at $2$ distinct points (two real roots).
   • If $k = e$: The line $y = e$ is tangent at $x = 1$, giving exactly $1$ real root.
   • If $0 < k < e$: The line $y = k$ lies below the minimum value $e$, yielding $0$ real roots.