Proving Little o Notation: f(x) = o(g(x)) as x → 0

  • Thread starter Thread starter zjhok2004
  • Start date Start date
  • Tags Tags
    Notation
Click For Summary
SUMMARY

The discussion centers on proving the little o notation, specifically f(x) = o(g(x)) as x approaches 0, and its implications for integrals and derivatives. The participants analyze two statements: the relationship between the integrals of f and g, and the relationship between their derivatives. The consensus is that the first statement regarding integrals is not universally true, as demonstrated by counterexamples such as f(x) = x² and g(x) = x³. The definition of little o notation is clarified, emphasizing that f = o(g) implies that the limit of f/g approaches 0 as x approaches 0.

PREREQUISITES
  • Understanding of limits and continuity in calculus.
  • Familiarity with the definition and properties of little o notation.
  • Basic knowledge of integration and differentiation.
  • Experience with analyzing asymptotic behavior of functions.
NEXT STEPS
  • Study the formal definition of little o notation in detail.
  • Learn about the implications of little o notation in calculus, particularly in limits.
  • Explore examples of functions that illustrate the relationship between f and g in little o notation.
  • Investigate theorems related to the integration of asymptotic functions.
USEFUL FOR

Students of calculus, mathematicians, and anyone interested in the rigorous application of asymptotic analysis in mathematical proofs.

zjhok2004
Messages
8
Reaction score
0

Homework Statement


Given two functions f and g with derivatives in some interval containing 0, where g is positive. Assume also f(x) = o(g(x)) as x → 0. Prove or disprove each of the following statements:


a)∫f(t) dt = o(∫g(t)dt) as x → 0 (Both integrals goes from 0 to x)
b)derivative of f(x) = o( derivative of g(x)) as x → -

Can anyone show me how to prove this? thanks
 
Physics news on Phys.org
Recall, ##f = o(g)## implies :

##\forall k>0, \exists a \space | \space f(x) < kg(x), \forall x>a## where 'k' and 'a' are arbitrary constants.

That's what you meant by "Assume also f(x) = o(g(x)) as x → 0" right?
 
f=o(g) as x -> 0 means lim f/g ->0 as x ->0
 
zjhok2004 said:
f=o(g) as x -> 0 means lim f/g ->0 as x ->0


Not true, what about f = x2, then x2 = o(x3) ( For example ).

Then x2/x3 = 1/x → ±∞ as x → 0.
 
Zondrina said:
Not true, what about f = x2, then x2 = o(x3) ( For example ).

Then x2/x3 = 1/x → ±∞ as x → 0.

That is the definition of the little o notation
 
zjhok2004 said:
That is the definition of the little o notation

No, the definition is what I've given you.
 

Similar threads

Replies
9
Views
2K
Replies
6
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
Replies
4
Views
4K
Replies
2
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K