Logarithms

The logarithm of a positive number $x$ to a positive, non-unity base $a$ is the exponent $n$ to which $a$ must be raised to obtain $x$. Mathematically, $\log_a x = n \iff a^n = x$. It answers the question: "To what power must we raise $a$ to get $x$?" Common mistakes involve applying log definitions blindly to negative indices or non-positive arguments. In JEE, this definition serves as the ultimate tool to untangle multi-layered exponential and logarithmic equations.

A real logarithm $\log_a x$ is mathematically defined if and only if three simultaneous constraints are satisfied: the argument must be strictly positive ($x > 0$), the base must be strictly positive ($a > 0$), and the base cannot equal unity ($a \neq 1$). Violating these values leads to undefined complex or non-functional spaces. In JEE Advanced, domain constraints form the fundamental foundation of critical trap questions where algebraic manipulation yields extraneous answers that fail these essential boundaries.

Logarithms primarily use two standard notations based on their mathematical applications. A logarithm with base 10 ($\log_{10} x$) is known as the Common Logarithm and is widely used for computation, chemical pH metrics, and sound levels. A logarithm with the transcendental base $e \approx 2.71828$ is written as $\ln x$ or $\log_e x$ and is termed the Natural Logarithm. In calculus and advanced physics problems, $\ln x$ is default because its derivative is exceptionally clean ($\frac{1}{x}$).

Logarithmic functions and exponential functions are direct mathematical mirror inverses of one another. Geometrically, the curve $y = \log_a x$ is the perfect reflection of $y = a^x$ across the identity line $y = x$. Interconversion allows us to rewrite rigid exponential terms into workable log expressions and vice versa. Common mistakes involve mixing up the base and the exponent during translation. Mastering this dynamic interconversion is a cornerstone skill for solving transcendental equations in JEE Main.

Certain primary identities serve as the anchor coordinates for all logarithmic calculations. Most notably, $\log_a 1 = 0$ for any valid base $a$, because any non-zero number raised to the power $0$ is 1 ($a^0 = 1$). Similarly, $\log_a a = 1$ because $a^1 = a$. A frequent conceptual trap is evaluating $\log_1 1$ or $\log_0 1$, which are completely undefined because bases of $0$ and $1$ violate existence criteria. Remembering these primary values helps simplify complex expressions instantly during high-pressure exams.

The Product Rule states that the logarithm of a product of two positive numbers is equal to the sum of their individual logarithms: $\log_a (mn) = \log_a m + \log_a n$. This rule stems directly from the exponential law $a^x \cdot a^y = a^{x+y}$. A common conceptual trap is writing $\log_a(m+n) = \log_a m + \log_a n$, which is a completely false distribution error. Additionally, when working with variables, remember that $\log_a(mn) = \log_a|m| + \log_a|n|$ if $m$ and $n$ are both negative.

The Quotient Rule states that the logarithm of the quotient of two positive numbers equals the difference of their individual logarithms: $\log_a (\frac{m}{n}) = \log_a m - \log_a n$. This corresponds to the exponential division law $\frac{a^x}{a^y} = a^{x-y}$. A common conceptual trap is writing $\frac{\log_a m}{\log_a n} = \log_a m - \log_a n$, which is incorrect. In competitive exams, this rule is very useful for condensing long logarithmic series into simple terms that can cancel out.

The Power Rule states that the logarithm of a positive number raised to an exponential power is equal to that power multiplied by the logarithm of the number itself: $\log_a (m^k) = k \cdot \log_a m$. This identity helps simplify large exponential expressions. A critical trap occurs when dealing with even powers: $\log_a (x^2) = 2\log_a |x|$, not $2\log_a x$. Forgetting the absolute value signs can incorrectly restrict the domain and cause you to miss valid negative solutions.

The Base Change Formula is one of the most powerful tools for simplifying logarithms with different bases. It states that $\log_b a = \frac{\log_c a}{\log_c b}$, where $c$ is any new valid base. A useful corollary of this formula is $\log_b a = \frac{1}{\log_a b}$. A common mistake is flipping the arguments incorrectly, such as writing $\log_b a = \frac{\log a}{\log b}$ without ensuring the bases match. This formula is essential for solving nested problems with multiple mismatched bases.

The Base Power Rule explains how to handle an exponent located in the base of a logarithm, rather than in the argument. It states that $\log_{a^k} m = \frac{1}{k} \log_a m$. The exponent moves to the front as a reciprocal divider. A common mistake is bringing it out directly as a multiplier, which is incorrect. Combining this with the argument power rule gives the general identity: $\log_{a^k} (m^n) = \frac{n}{k} \log_a m$.

The Reciprocal Law (or cancellation identity) states that $a^{\log_a x} = x$. Its generalized form, known as the base-argument swap identity, states that $a^{\log_b c} = c^{\log_b a}$. This allows you to swap the main base of an exponential expression with the argument of the logarithm in its exponent. A common mistake is attempting to swap when the bases do not match the logarithmic structural layout. This identity is highly effective for simplifying equations where variables appear in both bases and exponents.

The function $y = \log_a x$ has two distinctly different shapes depending on the value of its base $a$. When $a > 1$, the function is strictly increasing, rising from negative infinity near the y-axis asymptote to positive infinity. When $0 < a < 1$, the function is strictly decreasing, falling from positive infinity near the asymptote to negative infinity. Both graphs always pass through the x-intercept $(1,0)$ and never cross into the negative x-domain ($x \le 0$).

Finding the domain of a logarithmic function requires setting its arguments to be strictly positive ($>0$) and its bases to be positive and non-unity. The range of a basic logarithmic function $y = \log_a x$ is the entire set of real numbers ($\mathbb{R}$ or $(-\infty, \infty)$). When logarithms are combined with roots, quadratics, or trigonometric functions, finding the domain and range requires a rigorous analysis of inequalities.

Solving logarithmic inequalities requires careful attention to the base of the logarithm. If the base is greater than 1 ($a > 1$), the function is increasing, so the direction of the inequality sign is preserved ($\log_a f(x) > \log_a g(x) \implies f(x) > g(x)$). If the base is between 0 and 1 ($0 < a < 1$), the function is decreasing, so the direction of the inequality sign must be flipped ($\log_a f(x) > \log_a g(x) \implies f(x) < g(x)$). Crucially, you must always intersect your inequality solutions with the domain constraints ($f(x) > 0$ and $g(x) > 0$).

Advanced logarithmic equations often place the variable in both the base and the argument (e.g., $\log_{x+1}(x^2-2) = 2$). To solve these safely, you must convert them to exponential equations, find the candidate solutions, and then rigorously test each one against the domain constraints. Forgetting to ensure the base is positive and not equal to 1 is a common trap that leads to incorrect answers in JEE Advanced.

Any common logarithm ($\log_{10} x$) can be broken down into two distinct parts: an integer part called the Characteristic ($[\log_{10} x]$) and a non-negative fractional part called the Mantissa ($\{\log_{10} x\}$). Mathematically, $\log_{10} x = \text{Characteristic} + \text{Mantissa}$, where the Characteristic $\in \mathbb{Z}$ and the Mantissa lies in the interval $[0, 1)$. This concept is incredibly useful for finding the number of digits in large numbers ($N = a^b$) or identifying the number of leading zeros after the decimal point before the first non-zero digit appears.

To maximize your speed in competitive exams like JEE Main, you can use shortcuts to simplify logs quickly. Key techniques include prime-factoring arguments to break down complex expressions, using log bounds to estimate values ($\log_3 5$ must lie between $\log_3 3 = 1$ and $\log_3 9 = 2$), and utilizing the symmetric cancellation rule ($\log_a b \cdot \log_b c = \log_a c$) to clear nested loops.