Skip to content
Part CCSIR NET December 2023p-integral-thresholds

P integral thresholds

For a real number λ\lambda, consider the improper integrals Iλ=∫01I_\lambda = \int_{0}^{1} dx/(1−x)λ/(1 - x)^\lambda and Kλ=∫1∞K_\lambda = \int_{1}^\infty dx/xλ/x^\lambda. Which of the following statements are true?

  1. A.There exists λ\lambda such that IλI_\lambda converges, but KλK_\lambda does not converge.✓ Correct
  2. B.There exists λ\lambda such that KλK_\lambda converges, but IλI_\lambda does not converge.✓ Correct
  3. C.There exists λ\lambda such that Iλ,KλI_\lambda, K_\lambda both converge.
  4. D.There exists λ\lambda such that neither IλI_\lambda nor KλK_\lambda converges.✓ Correct

The idea, in plain words

Both integrals stretch to infinity in some sense, but at opposite ends: one has trouble where the function blows up at a point, the other where the region runs off forever. Raising the power helps one and hurts the other, so they can never both behave at once.

Solution

IλI_\lambda converges iff λ<1;Kλ\lambda < 1; K_\lambda converges iff λ>1\lambda > 1.

So they never converge together, and at λ=1\lambda = 1 neither does.

Why each option is right or wrong

Checked against 5 symbolic computations
  • A.Correct

    True.

    IλI_\lambda has its singularity at the endpoint x = 1 and converges exactly when λ<1;Kλ\lambda < 1; K_\lambda runs to infinity and converges exactly when λ>1\lambda > 1.

    Take λ=1/2\lambda = 1/2: SymPy evaluates I1/2I_{1/2} = 2

    while K1/2K_{1/2} diverges.

    The two thresholds point in opposite directions — that is the whole content of the question.

  • B.Correct

    True.

    Take λ=2\lambda = 2: SymPy gives K_2 = 1, and I_2 diverges (verified as ∞)\infty).

    Away from the origin a large exponent helps convergence; at a singularity it hurts.

  • False, and it is the option the question is built to catch.

    Both converging would need λ<1\lambda < 1 and λ>1\lambda > 1 at once.

    The two conditions are not merely different, they are complementary — there is no overlap window, and the single point λ=1\lambda = 1 they share is where both diverge.

  • D.Correct

    True, at λ=1\lambda = 1 exactly.

    K1=∫1∞K_1 = \int_{1}^\infty dx/x diverges (verified as ∞)\infty) and I1=∫01I_1 = \int_{0}^{1} dx/(1 − x) diverges too — both are the logarithm, from the two ends.

    The borderline exponent fails on both sides.

1 of these 1 wrong options correspond to a named reasoning error — the same errors recur across subjects.

The trap it tests

Boundary and endpoint

The statement turns at the edge of the interval, the domain, or the parameter range.

Drill statements like this

Related counterexample: |f| Riemann integrable ⇒ f Riemann integrable

More on this topic

The chapter behind this: Riemann integrability — the criterion and the zoo — free to read

From Integration › Riemann integration and criteria

Last revised . Found a mistake? Tell us — corrections are the fastest thing we act on.

ShareWhatsAppTelegram