📝 Improper integrals infinite discontinuities (34 MCQs)

📖 Explanation: The fundamental error lies in applying the Fundamental Theorem of Calculus without verifying integrability. The integrand $x^{-3}$ has an infinite discontinuity at $x=0$, which lies within $[-1, 1]$. For such improper integrals, convergence requires both $\int_{-1}^{0} x^{-3} dx$ and $\int_{0}^{1} x^{-3} dx$ to converge independently. Here, both diverge to infinity (with opposite signs), so the integral does not exist as a Riemann or Lebesgue integral. Symmetry arguments are invalid when individual parts are undefined.

📖 Explanation: Standard continuity requirements for definite integrals assume boundedness, but improper integrals extend this concept via limits. The key criterion for $\int (x-c)^{-p} dx$ near a singularity is whether $p < 1$. Here, rewriting the integrand as $|x-2|^{-2/3}$ shows $p = 2/3 < 1$. Although the function approaches infinity at $x=2$, the rate of blow-up is slow enough that the accumulated area remains finite. This distinguishes integrable singularities from non-integrable ones like $1/x$.

📖 Explanation: This scenario tests understanding that improper integrals can yield physically meaningful finite results even when the integrand is unbounded. The $1/\sqrt{x}$ singularity is integrable ($p=1/2 < 1$), producing a finite total stress. In fracture mechanics, while point stresses may theoretically be infinite, energy-based failure criteria depend on integrated quantities. Thus, a finite integral exceeding threshold $S$ legitimately indicates system failure. The model's validity isn't negated by the singularity; rather, the integrability ensures the prediction is mathematically sound and physically interpretable.

📖 Explanation: Visual symmetry near an infinite discontinuity is deceptive and insufficient for determining convergence. Even if areas appear balanced, the improper integral $\int_{a}^{b} f(x) dx$ is defined as the sum of two independent limits: $\lim_{t \to c^-} \int_{a}^{t} f(x) dx + \lim_{s \to c^+} \int_{s}^{b} f(x) dx$. Both must exist finitely. Apparent cancellation suggests a Cauchy principal value might exist, but this differs from standard improper integral convergence. Without verifying each one-sided integral converges absolutely, assuming convergence from graphical symmetry is a critical analytical error.

📖 Explanation: This question integrates Hard of the p-test with comparative analysis. The boundary $p=1$ separates integrable from non-integrable power singularities at zero. For $\int_{0}^{1} x^{-p} dx$, convergence occurs iff $p < 1$. Here, $0.9 < 1$ yields a finite antiderivative $x^{0.1}/0.1$ approaching 0, while $1.1 > 1$ gives $x^{-0.1}/(-0.1)$ blowing up at 0. This threshold behavior reflects how integration smooths mild singularities but cannot tame severe ones, linking analytic properties to geometric area accumulation rates.

📖 Explanation: The absolute value creates identical singular behavior on both sides of $x=1$. Splitting at the discontinuity gives $\int_{0}^{1} (1-x)^{-p} dx + \int_{1}^{2} (x-1)^{-p} dx$. Each is a standard p-integral converging iff $p < 1$. Since both sides share the same exponent, convergence requires $p < 1$ for both simultaneously. Note that $p \leq 0$ removes the singularity entirely (making it proper), which is included in $p < 1$. The absolute value doesn't change the convergence criterion compared to one-sided cases; it merely duplicates the condition symmetrically. This tests handling of piecewise-defined singularities rigorously.

📖 Explanation: The core misconception is equating unboundedness with non-integrability. While $\ln x$ is unbounded near 0, its growth to $-\infty$ is slower than any $x^{-p}$ with $p>0$. Evaluating $\int_{b}^{1} \ln x \, dx = [x \ln x - x]_{b}^{1} = -1 - (b \ln b - b)$. Since $\lim_{b \to 0^+} b \ln b = 0$, the limit exists and equals -1. This demonstrates that logarithmic singularities are always integrable on finite intervals, unlike power singularities with $p \geq 1$. Recognizing this distinction prevents erroneous dismissal of important integrals in entropy and information theory.

📖 Explanation: This applies improper integrals to a physical model with dimensional considerations. The integral becomes $2\pi k \int_{0}^{R} r^{1-\alpha} dr$. Convergence at $r=0$ requires the exponent $1-\alpha > -1$, i.e., $\alpha < 2$. The extra $r$ from the Jacobian in polar coordinates effectively weakens the singularity by one power. In 1D, $\int r^{-\alpha} dr$ converges only for $\alpha < 1$; in 2D radial coordinates, the threshold shifts to $\alpha < 2$. This illustrates how coordinate transformations and dimensionality fundamentally alter integrability conditions in applied mathematics, beyond pure calculus rules.

📖 Explanation: The statement is false because it commits the fallacy of partial sufficiency. By definition, $\int_{a}^{b} f(x) dx$ with singularity at $c$ converges if and only if both $\int_{a}^{c} f(x) dx$ AND $\int_{c}^{b} f(x) dx$ converge. Knowing only the left side converges provides no information about the right side, which could diverge (e.g., $f(x) = 1/(x-c)$ where left diverges to $-\infty$ and right to $+\infty$, or asymmetric cases). This tests precise understanding of the conjunctive nature of improper integral convergence definitions, preventing overgeneralization from partial evidence.

📖 Explanation: Direct numerical integration of singular integrands suffers from unbounded derivatives violating smoothness assumptions. The optimal strategy is singularity removal via substitution. Letting $x = u^3$ transforms $\int_{0}^{1} x^{-1/3} dx$ into $\int_{0}^{1} 3u \, du$, which is smooth and polynomial. Simpson's rule then achieves spectral accuracy. Simply increasing partitions wastes computational resources since error bounds depend on derivative maxima, which remain infinite. Excluding intervals introduces arbitrary parameters. This exemplifies the principle that analytical preprocessing often outperforms brute-force numerical refinement for improper integrals, combining calculus insight with computational pragmatism.

📖 Explanation: This tests subtle distinction between algebraic simplification and analytic definition. While $x/x^2 = 1/x$ for $x \neq 0$, the original expression is undefined at 0, creating an infinite discontinuity. As an improper integral, $\int_{-1}^{1} \frac{1}{x} dx$ requires separate convergence of $\int_{-1}^{0}$ and $\int_{0}^{1}$, both of which diverge logarithmically. The Cauchy principal value exists (equals 0) due to symmetry, but this is distinct from improper integral convergence. Algebraic manipulation cannot override the definition requiring independent one-sided limits. This highlights that formal simplification doesn't resolve essential singularities in integration theory.

📖 Explanation: Near $x=a$, $f(x) \approx f(a) \neq 0$, so the integrand behaves like $C/(a-x)^{3/2}$. By limit Hard test, since $\lim_{x \to a} \frac{f(x)/(a-x)^{3/2}}{1/(a-x)^{3/2}} = f(a) \neq 0$, both integrals share convergence behavior. Since $\int (a-x)^{-3/2} dx$ diverges (exponent > 1), the original diverges. Continuity of f alone doesn't save it; only if $f(a)=0$ with sufficient vanishing order could convergence occur. This applies asymptotic analysis to improper integrals, emphasizing that leading-order behavior near singularities determines convergence, not global properties of the multiplier function.

📖 Explanation: Human perception and standard graphing scales severely distort infinite regions. A function like $1/(x-2)^2$ has visually thin tails near $x=2$ that suggest finite area, yet $\int (x-2)^{-2} dx$ diverges because $p=2>1$. Conversely, $1/\sqrt{|x-2|}$ looks thicker but converges. Visual thickness correlates poorly with integrability; only the exponent matters. This question warns against relying on graphical intuition for improper integrals, emphasizing that analytical verification via p-tests or Hard is mandatory. Graphs serve heuristic purposes but cannot substitute for rigorous limit evaluation when infinite discontinuities are present.

📖 Explanation: The singularity at $x=0$ suggests $u=\sqrt{x}$, so $x=u^2$, $dx=2u\,du$. The integral becomes $\int_{0}^{1} \frac{2u\,du}{u(1+u^2)} = 2\int_{0}^{1} \frac{du}{1+u^2} = 2[\arctan u]_0^1 = \pi/2$. This substitution elegantly removes the $\sqrt{x}$ singularity while converting to a standard arctangent integral. The transformed integrand is continuous on [0,1], confirming convergence. This demonstrates strategic substitution selection: targeting the singularity's root structure often simplifies both convergence analysis and evaluation simultaneously, showcasing the synergy between technique choice and theoretical understanding in improper integration.

📖 Explanation: Multiple errors compound here, but the critical flaw is treating a divergent improper integral as proper. The integrand $1/x^2$ has an infinite discontinuity at $x=0 \in [-2,2]$. Proper evaluation requires splitting: $\int_{-2}^{0} x^{-2} dx + \int_{0}^{2} x^{-2} dx$. Both diverge to $+\infty$ since $\lim_{\epsilon \to 0^+} [-1/x]_{-2}^{-\epsilon} = \infty$. Direct FTC Easy is invalid across singularities. Additionally, the antiderivative sign is wrong ($d/dx(-1/x) = 1/x^2$), and negative area for positive function is impossible. This exemplifies catastrophic failure to recognize improper structure, leading to nonsensical results.

📖 Explanation: At $x=0$, $x^a$ dominates convergence. If $a > -1$, $x^a$ is integrable and $|\ln x|^b$ grows slower than any $x^{-\epsilon}$, so product converges for any $b$. If $a = -1$, integral becomes $\int |\ln x|^b / x \, dx$; substituting $u = -\ln x$ gives $\int_{0}^{\infty} u^b e^{-u} du$ near infinity? Wait—actually $\int_{0}^{1} (-\ln x)^b / x \, dx = \int_{0}^{\infty} u^b e^{-u} du$ is Gamma function, but limits: as $x \to 0$, $u \to \infty$; as $x \to 1$, $u \to 0$. Correction: $\int_{0}^{1} (-\ln x)^b / x \, dx = \int_{0}^{\infty} u^b e^{-u} du$ is incorrect setup. Actually $dx/x = -du$, so $\int_{\infty}^{0} u^b (-du) = \int_{0}^{\infty} u^b e^{-u} du$? No: $x=e^{-u}$, $dx=-e^{-u}du$, so $\int_{0}^{1} (-\ln x)^b / x \, dx = \int_{\infty}^{0} u^b / e^{-u} \cdot (-e^{-u}) du = \int_{0}^{\infty} u^b du$, which converges only if $b < -1$. Thus full condition: $a > -1$ (any b) OR $a = -1$ and $b < -1$. This nuanced interaction tests deep asymptotic analysis skills.

📖 Explanation: Truncation error from omitting $[0,\epsilon]$ is $\int_{0}^{\epsilon} C x^{-p} dx = C \epsilon^{1-p}/(1-p)$. Since $p < 1$, this vanishes as $\epsilon \to 0$, but rate depends on $p$. Smaller $p$ means weaker singularity and faster convergence to true value. This quantifies practical trade-offs: for $p=0.9$, error decays as $\epsilon^{0.1}$ (very slow), requiring tiny $\epsilon$ for accuracy; for $p=0.1$, error decays as $\epsilon^{0.9}$ (fast). Understanding this scaling guides adaptive quadrature design and explains why mildly singular integrals are computationally Hard despite theoretical convergence, bridging analysis and numerical practice.

📖 Explanation: $\int_{-1}^{1} \frac{1}{x} dx$ has PV = $\lim_{\epsilon \to 0} (\int_{-1}^{-\epsilon} + \int_{\epsilon}^{1}) \frac{dx}{x} = 0$ due to odd symmetry. However, as an improper integral, it requires independent convergence of $\int_{-1}^{0}$ and $\int_{0}^{1}$, both of which diverge logarithmically. Thus PV exists but integral diverges. In contrast, $1/x^2$ has neither PV nor integral convergence; $1/\sqrt{x}$ converges properly; Gaussian converges absolutely. This distinction is crucial in distribution theory and physics, where PV assigns meaning to otherwise divergent expressions, but standard integration theory rejects them. Recognizing this prevents conflating regularization with genuine integrability.

📖 Explanation: The kernel $(t-\tau)^{-1/2}$ has a singularity at $\tau=t$ with exponent $p=1/2 < 1$, making it locally integrable. Since $g$ is continuous, near $\tau=t$, $g(\tau) \approx g(t)$, so integrand behaves like $g(t)(t-\tau)^{-1/2}$, whose integral converges. This is a weakly singular Volterra integral, fundamental in parabolic PDEs. The singularity reflects physical memory effects with fading influence. Unlike strong singularities ($p \geq 1$), weak singularities preserve solution regularity. This connects improper integral theory to applied mathematics, showing how specific singularity types arise naturally and remain tractable within appropriate functional frameworks.

📖 Explanation: Near $x=\pi/2$, let $u = \pi/2 - x$, so $\tan x = \cot u \sim 1/u$ as $u \to 0^+$. Thus $\tan^k x \sim u^{-k}$. The integral converges iff $-k > -1$, i.e., $k < 1$. At $x=0$, $\tan^k x \sim x^k$, converging for $k > -1$. Combined: converges for $-1 < k < 1$. Wait—original options don't specify lower bound. Re-evaluating: question focuses on π/2 singularity. Near π/2, $\tan x \to \infty$, and $\tan^k x \sim (\pi/2 - x)^{-k}$. So convergence at upper limit requires $k < 1$. Lower limit $x=0$: $\tan^k x \sim x^k$, needs $k > -1$. But option A states k < 1" focusing on upper singularity, which is primary concern for positive k. For comprehensive answer, full range is -1

📖 Explanation: The student neglects the numerator's zero at the singularity. Near $x=0$, $\sin x \sim x$, so $\frac{\sin x}{x^{3/2}} \sim \frac{x}{x^{3/2}} = x^{-1/2}$. Since $p=1/2 < 1$, this is integrable. The singularity is weakened by one power due to $\sin x$'s linear zero. This exemplifies the importance of asymptotic analysis over superficial inspection: multiplying by a function vanishing at the singularity can convert a non-integrable singularity into an integrable one. Always examine the combined behavior via Taylor expansion or limit Hard, not just the denominator's exponent in isolation.

📖 Explanation: At $p=1$, integral is $\int_{0}^{1} \frac{dx}{x |\ln x|^q}$. Substitute $u = -\ln x$, $du = -dx/x$, limits $\infty$ to 0: $\int_{0}^{\infty} \frac{du}{u^q}$. This converges at $\infty$ iff $q > 1$, and at 0 iff $q < 1$. But original singularity is at $x=0$ corresponding to $u=\infty$. So convergence requires $q > 1$. At $x=1$ ($u=0$), $|\ln x|^q \sim (1-x)^q$, integrable for $q > -1$, but primary concern is $x=0$. Thus for $p=1$, convergence hinges entirely on $q > 1$. This reveals logarithms provide finer gradation at critical exponents where power laws alone are inconclusive, essential in refined convergence tests and analytic number theory.

📖 Explanation: Adaptive quadrature estimates local error using derivative information or higher-order differences. For $x^{-0.5}$, derivatives blow up as $x \to 0$ (e.g., f&#039;(x) \sim x^{-1.5}), causing large local error estimates despite integrable function values. The algorithm responds by subdividing to meet tolerance, concentrating points where variation is highest. This is correct behavior: integrability doesn't imply numerical ease. Understanding this explains computational cost for singular integrals and motivates singularity subtraction or transformation techniques. It bridges theoretical convergence with practical algorithm design, showing that well-behaved" analytically doesn't mean "easy" numerically."

📖 Explanation: Computing $F(b) = [3x^{1/3}]_0^b = 3b^{1/3}$. Near $b=0$, $F(b) \to 0$ with infinite derivative (F&#039;(b) = b^{-2/3} \to \infty). The graph starts at origin with vertical tangent but finite height, visually encoding convergence: area accumulates rapidly initially but totals finitely. This contrasts with divergent cases like $x^{-1}$ where $F(b) = \ln b \to -\infty$. Interpreting accumulation function graphs provides geometric insight into improper integral behavior, linking analytical limits to visual features. Vertical tangent at finite value signifies integrable singularity; vertical asymptote signifies non-integrability. This reinforces Hard beyond symbolic manipulation.

📖 Explanation: Near $x=0$, $|\psi|^2 \sim |x|^{-2a}$. Local integrability requires $-2a > -1$, i.e., $a < 1/2$. Global decay at infinity affects total integral convergence separately, but the question isolates local singularity concern. Wavefunctions can have mild singularities (e.g., hydrogen atom s-states) yet remain normalizable if $a < 1/2$. This separates local and global convergence criteria: a function can be locally integrable but globally non-normalizable (slow decay), or vice versa. In physics, local integrability ensures probability density is well-defined pointwise almost everywhere, while global convergence ensures total probability is finite. Distinguishing these prevents misattributing normalization failures to wrong causes.

📖 Explanation: At $x=1$, $\arcsin x \to \pi/2$ (finite), while $\sqrt{1-x^2} \to 0$, suggesting singularity. But substitution $u = \arcsin x$ gives $du = dx/\sqrt{1-x^2}$, transforming integral to $\int_{0}^{\pi/2} u \, du$, perfectly regular. The apparent singularity is an artifact of coordinate representation; in u-space, it's smooth. This demonstrates that some singularities are removable via natural substitutions tied to the integrand's structure. Recognizing such relationships avoids unnecessary improper integral machinery and reveals deeper functional connections. It also shows that singularity classification depends on variable choice, emphasizing intrinsic vs. extrinsic singular behavior.

📖 Explanation: The student misunderstands singularity interaction. Substituting $u = \ln x$, $du = dx/x$, limits $-\infty$ to 0: $\int_{-\infty}^{0} \frac{du}{u}$. This diverges at both $u \to -\infty$ and $u \to 0^-$. Near $x=0$, $\ln x \to -\infty$, but $1/(x \ln x)$ integrates to $\ln|\ln x| \to \infty$. Large denominator doesn't guarantee convergence if it grows too slowly relative to measure element $dx/x$. This counterexample shows that products of singular factors can create worse singularities, not better. Proper analysis requires transformation to standard forms, not heuristic size Hards.

📖 Explanation: Singularities at $x=0$ and $x=1$ are independent. Near 0, integrand ~ $x^a$, converging iff $a > -1$. Near 1, ~ $(1-x)^b$, converging iff $b > -1$. Both conditions must hold simultaneously since integral splits at any interior point. This separability is key: endpoint behaviors don't interact. The Beta function $B(a+1,b+1)$ thus requires $a>-1, b>-1$. This illustrates the general principle for multiple singularities: convergence is determined by the worst behavior at each isolated singularity independently. Misunderstanding this leads to incorrect combined conditions like $a+b>-1$, which fails when one exponent is very negative.

📖 Explanation: At $x=0$, numerator ~ $x$, denominator ~ $x^{3/2}$, so integrand ~ $x^{-1/2}$, integrable. But floating-point evaluation gives $0/0 = \text{NaN}$. Fix: define $f(0) = \lim_{x\to0} (e^x-1)/x^{3/2} = \lim x/x^{3/2} = \lim x^{-1/2} = \infty$? Wait—actually $e^x - 1 \sim x$, so $(e^x-1)/x^{3/2} \sim x^{-1/2} \to \infty$. So integrand is unbounded but integrable. Numerical routines fail at evaluation, not integration. Solution: use series $e^x - 1 = x + x^2/2 + \cdots$, so $f(x) = x^{-1/2} + x^{1/2}/2 + \cdots$. Integrate series term-by-term or subtract leading singularity $x^{-1/2}$ analytically, integrate remainder numerically. This handles removable evaluation issues while respecting true singularity structure, combining asymptotics with numerical stability.

📖 Explanation: At $x=0$, $\sin x \sim x$, so integrand ~ $x / x^p = x^{1-p}$. Converges iff $1-p > -1$, i.e., $p < 2$. At $x=\pi$, let $u=\pi-x$, $\sin x = \sin u \sim u$, integrand ~ $u / u^q = u^{1-q}$. Converges iff $q < 2$. Both conditions required. The zeros of $\sin x$ at endpoints reduce effective singularity strength by exactly one power, relaxing constraints from $p<1$ to $p<2$. This showcases how numerator behavior critically modifies convergence thresholds at singularities, requiring joint analysis rather than treating denominator alone. Essential in Fourier analysis and special functions where such integrals commonly arise.

📖 Explanation: Near $x=0$, $\ln x \to -\infty$, so $1/\ln x \to 0$, seemingly helping. But $\int_{0}^{\epsilon} x^{-1/2} / |\ln x| \, dx$. Substitute $u = \sqrt{x}$, $x=u^2$, $dx=2u du$: $\int 2u / (u |\ln u^2|) du = \int du / |\ln u|$. As $u \to 0$, $|\ln u| \to \infty$, but $\int_{0} du / |\ln u|$ diverges (slower than any $u^\epsilon$ but still divergent). The logarithmic decay is insufficient to make $x^{-1/2}$ integrable when divided by log. This reveals that logs provide only marginal improvement; they cannot rescue borderline singularities. Understanding hierarchy of singularity strengths prevents overestimating logarithmic regularization effects.

📖 Explanation: Split integral: $\int_{0}^{1} t^{-\alpha} e^{-t} dt + \int_{1}^{\infty} t^{-\alpha} e^{-t} dt$. At ∞, $e^{-t}$ decays faster than any power, so second integral converges for all α. At 0, $e^{-t} \to 1$, so integrand ~ $t^{-\alpha}$, converging iff $\alpha < 1$. Thus stability requires only $\alpha < 1$. This separates local and global behavior: exponential tail guarantees global integrability regardless of power, while local singularity dictates constraint. In engineering, this means high-frequency singularities (large α) destabilize systems even with damping, emphasizing transient over steady-state behavior. Applying improper integral decomposition to stability criteria links pure math to control theory fundamentals.

📖 Explanation: Finite area (convergent improper integral) does NOT imply boundedness. Classic counterexample: $f(x) = x^{-1/2}$ has $\lim_{x \to 0^+} f(x) = \infty$ yet $\int_{0}^{1} x^{-1/2} dx = 2$. The student confuses necessary and sufficient conditions: boundedness implies integrability (for proper integrals), but integrability of improper integrals allows unboundedness. Visual finite area can coexist with vertical asymptotes if blow-up rate is sub-critical ($p<1$). This misconception arises from overgeneralizing Riemann integral properties to improper settings. Correct interpretation requires distinguishing between function values and accumulated area, reinforcing that integration is a smoothing operation tolerant of certain singularities.

📖 Explanation: Near $x=0$, $\sin x \sim x$, so $\sin^b x \sim x^b$. Integrand ~ $x^a / x^b = x^{a-b}$. Convergence at 0 requires $a-b > -1$. At $x=1$, $\sin x$ is bounded away from 0, so no singularity there. Thus sole condition is $a - b > -1$. This applies asymptotic equivalence to reduce trigonometric singularity to power law, demonstrating transferability of p-test beyond pure powers. Crucially, the approximation $\sin x \sim x$ is valid for convergence determination because ratio approaches 1, preserving integrability class. This technique extends improper integral analysis to broad function classes via local behavior matching.