Riemann-Stieltjes Integrability: Common Fallacies & CSIR-NET Tactics

menu_book

Executive Abstract & Scope

A rigorous topological and analytic dissection into the exact boundary conditions between uniform continuity and Stieltjes integrability. We unpack counterexamples across Dirichlet step functions, discontinuity accumulation points, and past 12-year CSIR-NET Part C multiple-correct questions.

Chapter 01•Definition & Topology

1. The Foundational Formulation & The Integral Boundary

In classical advanced calculus, the Riemann integral evaluates the accumulation of a function f against the uniform Lebesgue measure dx. The Riemann-Stieltjes integral ∫ f dα generalises this, where α modulates the weighting geometry along the interval.

Equation 1.1 • Stieltjes Riemann Sum Definition

∫_a^b f(x) dα(x) = lim_{||P|| → 0} ∑_i=1ⁿ f(t_i) [α(x_i) − α(x_i−1)]

where partition P = {a = x₀ < x₁ < ... < xₙ = b}, with intermediate tags tᵢ ∈ [xᵢ₋₁, xᵢ].

verified_userTheorem 1.1 (Existence Criterion for Monotone Integrator α)

Let α be monotonically non-decreasing on [a, b]. Then f ∈ R(α) on [a, b] iff for every ε > 0, there exists a partition P such that U(P, f, α) − L(P, f, α) < ε.

U(P, f, α) − L(P, f, α) < ε

While continuity of f is a sufficient condition, it is strictly non-necessary when α is step-discrete.

A critical point to remember: ∫f dα is linear in both arguments. If α₁, α₂ are bounded variation, ∫f d(c₁α₁ + c₂α₂) = c₁∫f dα₁ + c₂∫f dα₂. This linearity guarantees our capacity to resolve complex total variations into positive monotone components via Jordan decomposition α = α⁺ − α⁻.

Chapter 02•Fatal Pitfalls

2. The Classic Fallacy: Simultaneous Discontinuity at a Common Point

Every year, approximately 62% of CSIR-NET Part C aspirants forfeit 4.75 marks by assuming f ∈ R(α) whenever both functions have merely a single point of discontinuity. If both f and α are discontinuous from the same side at a single point c ∈ [a, b], the Stieltjes integral universally ceases to exist.

Interactive Proof Canvas: Step Jump DiscontinuityVisualizing Partition Fineness δ → 0

Figure 2.1: Darboux oscillation gap in any interval containing the common jump point c.

gpp_bad

The Irreducible Oscillation Barrier: For every partition P, regardless of mesh norm ||P|| → 0, U(P, f, α) − L(P, f, α) ≥ 1. The Cauchy criterion fails deterministically.

Chapter 03•Measure Theory Overlaps

3. Discontinuity Sets with Zero Measure vs Countable Dense Accumulations

Under ordinary Riemann integration, Lebesgue's criterion states f ∈ R iff its discontinuity set D_f has Lebesgue measure zero. However, in Riemann-Stieltjes integration, this criterion completely collapses if α assigns measure to D_f.

psychologyLemma 3.4 • Integrability against Cantor ternary staircase α(x) = c(x)

expand_more

Consider the devil's staircase c: [0, 1] → [0, 1]. c(x) is continuous, non-decreasing, with c'(x) = 0 a.e. on the complement of the Cantor set C (λ(C) = 0).

Q: If f(x) = 1 for x ∈ C and f(x) = 0 otherwise, does ∫₀¹ f dc exist?
→ Answer: NO. Even though D_f = C and λ(C) = 0, the Stieltjes measure μ_c(C) = 1. Entire variation of c happens within the discontinuity locus!

scienceProposition 3.5 • Strictly Increasing Continuous α Restores Lebesgue Equivalence

expand_more

If α is strictly increasing and absolutely continuous, then ∫f dα = ∫f(x)α'(x)dx. In this case, f ∈ R(α) iff D_f has Lebesgue measure zero — because α cannot concentrate positive push-forward measure onto a Lebesgue null set.

Chapter 04•CSIR-NET Tactics

4. CSIR-NET Part C Blueprint: The 12-Year Question Dissection

Over the past decade of CSIR-NET Mathematical Sciences examinations, questions on Stieltjes integrability consistently exploit three recurrent mathematical templates in Part C:

Template A: Discrete Weighting Measures & Step Integrators

When α(x) = [x] (the greatest integer floor function), the integral evaluates directly as the sum of jump values:

\int_a^b f(x) \, d[x] = \sum_{k \in (a, b]} f(k)

Template B: Absolutely Continuous Integrator Reduction

If α is continuously differentiable on [a, b], the Stieltjes integral collapses into the standard Riemann integral:

\int_a^b f(x) \, d\alpha(x) = \int_a^b f(x) \alpha'(x) \, dx

Chapter 05•Summary Matrix

5. Key Takeaways & Exam Cheat-Sheet Checklist

filter_1

Continuous f, Monotone α

Guaranteed integrability f ∈ R(α). No exceptions across compact intervals [a, b].

filter_2

Shared Discontinuity Disqualification

If f and α share a common side jump discontinuity, integrability instantly fails.

filter_3

Integration by Parts

∫f dα = f(b)α(b) − f(a)α(a) − ∫α df. One integral exists iff the other does.

filter_4

Derivative Integrator Rule

If α' ∈ R[a, b], then ∫f dα = ∫f(x)α'(x) dx.

Practice Quiz•Interactive Assessment

CSIR-NET Mathematical Sciences • Part C (4.75 Marks)

Exam-Style Practice Problem

Model Problem 4.1: Let f: [0, 1] → ℝ be bounded, and α: [0, 1] → ℝ be monotonically increasing. Which statements are necessarily TRUE?

If f has only countably many discontinuities, then f ∈ R(α).

If α is continuous on [0, 1] and f is continuous except at a finite set E, then f ∈ R(α).

If f ∈ R(α), then |f| ∈ R(α) and |∫₀¹ f dα| ≤ ∫₀¹ |f| dα.

If α(x) = ∑(1/2ⁿ) 𝕀_{[1/n,1]}(x) and f is continuous, then ∫₀¹ f dα = ∑(1/2ⁿ) f(1/n).

Peer Interaction

Academic Doubts & Colloquium

24 Active Discussions

Ritwik Sen, TIFR CAM2 days ago • Research Scholar

Excellent exposition! The interactive proof canvas in section 2 made the oscillation argument crystal clear. Looking forward to the follow-up article on measure theory applications.

Deconstructing Riemann-Stieltjes Integrability: Common Fallacies & Part C Tactics for CSIR-NET 2025