Limit Foundations and First Principles
Master the formal definition of the derivative and its existence criteria.
Part 1/3 — Advanced Theory & Mechanics
This technical whitepaper dissects the rigorous foundations of the limit of the difference quotient, a fundamental operator in real analysis and computational calculus. We evaluate the formal definition of the derivative as established by Cauchy and Weierstrass, specifically focusing on the existence of the limit $f'(x) = \lim_{h \to 0} \frac{f(x+h) - f(x)}{h}$. The analysis extends to the pathology of non-differentiability observed in piecewise functions frequently encountered in Joint Entrance Examination (JEE) Advanced mathematics and digital signal processing. By quantifying the convergence criteria of Right-Hand Derivatives (RHD) and Left-Hand Derivatives (LHD), we establish the mechanical constraints of functional smoothness and the geometric implications of singular points such as cusps and corners.
The Formalism of the Difference Quotient and ε-δ Convergence
The foundational mechanism for determining differentiability at a point $x = a$ is the existence of a finite, unique limit for the difference quotient. In the context of IEEE 754 floating-point arithmetic and formal real analysis, we define the derivative $f'(a)$ if and only if for every $\epsilon > 0$, there exists a $\delta > 0$ such that $0 < |h| < \delta$ implies $|\frac{f(a+h) - f(a)}{h} - L| < \epsilon$. In piecewise functions common in competitive engineering entrance exams, such as $f(x) = |x|$ or $f(x) = [x]$ (the Greatest Integer Function), the limit process often fails due to the divergence of one-sided limits. The Right-Hand Derivative is defined as $f'(a^+) = \lim_{h \to 0^+} \frac{f(a+h) - f(a)}{h}$, while the Left-Hand Derivative is $f'(a^-) = \lim_{h \to 0^-} \frac{f(a+h) - f(a)}{h}$. For a function to be differentiable at $x=a$, it is a non-negotiable requirement that $f'(a^+) = f'(a^-) = L$, where $L$ is a real finite constant. If the limit evaluates to $\pm \infty$, the function is considered non-differentiable despite potential continuity, a phenomenon observed in functions like $f(x) = x^{1/3}$ at $x=0$.
Mechanical Failure Modes: Cusps, Corners, and Discontinuities
Non-differentiability manifests through specific geometric and algebraic failure modes. A "Corner" occurs when the LHD and RHD are both finite but unequal ($f'(a^-) \neq f'(a^+)$), such as in the function $f(x) = |x-2|$ at $x=2$, where the LHD is -1 and the RHD is +1. A "Cusp" represents a more severe failure where both one-sided limits of the difference quotient tend toward infinities of opposite signs, causing a sharp point with an undefined tangent. In the analysis of $f(x) = x^{2/3}$ at $x=0$, the derivative $f'(x) = \frac{2}{3x^{1/3}}$ yields $f'(0^+) \to \infty$ and $f'(0^-) \to -\infty$. Discontinuities, whether they are jump discontinuities (governed by the Heaviside step function $\theta(x)$) or essential discontinuities (like $\sin(1/x)$ near $x=0$), automatically prec