Non Stieltjes integrable function

  • Context: Graduate 
  • Thread starter Thread starter Damidami
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
SUMMARY

The function f : [-2,2] → ℝ defined as f(x) = 1 for x ≥ 0 and f(x) = 0 for x < 0 is not Riemann-Stieltjes integrable with itself due to the shared point of discontinuity at x = 0. The limit of the upper and lower sums does not equal for any partition because the infimum of f on intervals that include 0 affects the lower sum calculation. A referenced PDF provides a theorem that confirms functions with a common point of discontinuity are not Riemann-Stieltjes integrable, although proving this theorem is complex.

PREREQUISITES
  • Understanding of Riemann-Stieltjes integration
  • Familiarity with concepts of upper and lower sums
  • Knowledge of continuity and discontinuity in functions
  • Basic mathematical proof techniques
NEXT STEPS
  • Study the properties of Riemann-Stieltjes integrals
  • Learn about the implications of discontinuities in integration
  • Examine the proof of the theorem regarding common discontinuities
  • Explore examples of Riemann-Stieltjes integrable functions
USEFUL FOR

Mathematicians, students studying real analysis, and anyone interested in advanced integration techniques and their properties.

Damidami
Messages
93
Reaction score
0
I know that this function [itex]f : [-2,2] \to \mathbb{R}[/itex]
[itex]f(x) = \begin{cases} 1 & \textrm{ if } x \geq 0 \\ 0 & \textrm{ if } x < 0 \end{cases}[/itex]
is not Riemann-Stieltjes integrable with itself (that is, taking [itex]g = f[/itex] then [itex]f \not\in R(g)[/itex])
That is because both share a point of discontinuity, namely 0.

What I don't know is how do I justify this? for which partition does the limit of the superior sums and the inferior sums don't equal? Shouldn't this integral be equal to 1? (all the terms in the sum cancel except at zero, where [itex]\triangle g = 1-0 = 1[/itex], and [itex]f(0) = 1[/itex]

I think I'm not seeing it correctly.
 
Physics news on Phys.org
Damidami said:
[itex]f(0) = 1[/itex]

In computing the upper and lower sums, the contribution of an interval like [-0.1, 0] involves more than f(0). You have to use the infimum of f on the interval when computing the lower sum.

I found a PDF of class notes that supposedly proves the theorem that if the two functions share a common point of discontinuity then they are not Riemann-Stieljes integrable. (page 3 of 5) It looks like it's hard to prove!

http://www.google.com/url?sa=t&rct=...sg=AFQjCNEL7sm8dOrwngWsUyk-yVKajXGqQA&cad=rja
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K