Domain of Derivatives: Is f'(x)<=f(x)?

  • Context: High School 
  • Thread starter Thread starter Saracen Rue
  • Start date Start date
  • Tags Tags
    Derivatives Domain
Click For Summary
SUMMARY

The domain of the derivative function, denoted as f'(x), is always less than or equal to the domain of the original function f(x). This principle holds true except in artificial cases where a function g has a larger domain than f and is equal to f' on the domain of f. Additionally, while the integral of f(x), represented as F(x), may have a domain equal to or greater than f(x), it does not always represent the area under the graph due to potential singularities and the nature of the function itself. For example, the integral of sin(x) from 0 to 2π equals zero, despite the presence of area beneath the curve.

PREREQUISITES
  • Understanding of function domains and their properties
  • Familiarity with derivatives and their definitions, such as f'(x) = lim(h → 0) (f(x+h) - f(x))/h
  • Basic knowledge of integrals and their interpretations in calculus
  • Awareness of singularities and their impact on function behavior
NEXT STEPS
  • Explore the concept of removable singularities in functions
  • Study different types of integrals, including gauge integration
  • Investigate pathological functions and their properties in calculus
  • Learn about the relationship between definite integrals and areas under curves for continuous functions
USEFUL FOR

Mathematicians, calculus students, and educators seeking a deeper understanding of derivatives, integrals, and their implications in real analysis.

Saracen Rue
Messages
150
Reaction score
10
Just a quick question - Is it true that the domain of ##f'(x)## will always be less than or equal to the domain of the original function, for any function, ##f(x)##?
 
Physics news on Phys.org
Yes. With the exception that if you consider two functions ##f,g## where ##g## has a different (bigger) domain than ##f## and it happens that ##g=f'## on the domain of ##f##. A bit artificial, I know, but the question seems a bit strange, too. That's because the first derivative of a function is a linear approximation of the function and can thus only be defined where the function itself is defined. Maybe not at some points like singularities or boundaries and therefore smaller.
 
fresh_42 said:
Yes. With the exception that if you consider two functions ##f,g## where ##g## has a different (bigger) domain than ##f## and it happens that ##g=f'## on the domain of ##f##. A bit artificial, I know, but the question seems a bit strange, too. That's because the first derivative of a function is a linear approximation of the function and can thus only be defined where the function itself is defined. Maybe not at some points like singularities or boundaries and therefore smaller.
Thank you, if you don't mind I'd like to extrapolate off this idea a little.

I'm going to go ahead and assume that because the domain of ##f'(x)## is less than or equal to the domain of ##f##, the integral of ##f(x)##, ##F(x)## will have a domain equal to or greater than ##f(x)##.

Now for another little question: while I do know for sure that ##f'(x)## is always the gradient of ##f(x)## at any value of ##x##, does it always also hold true that ##\int _a^bf\left(x\right)dx## will always give you the area between ##f(x)##, the ##x##-axis, and the lines ##x=a## and ##x=b##? Or is it possible for an integral to have a value that does not reflect the area under the graph?
 
A bit difficult to answer in this generality, i.e. without any conditions on ##f##.
Saracen Rue said:
Thank you, if you don't mind I'd like to extrapolate off this idea a little.

I'm going to go ahead and assume that because the domain of ##f'(x)## is less than or equal to the domain of ##f##, the integral of ##f(x)##, ##F(x)## will have a domain equal to or greater than ##f(x)##.
Not really. As you define the derivative as well as the integral from the perspective of ##f##, how should they be defined elsewhere than ##f\,##? In the case of integrals, one might integrate even at points where ##f## isn't defined, e.g. at removable singularities (holes in the graph of ##f\,##). In addition there exist different concepts of integration (cp. https://www.physicsforums.com/insights/omissions-mathematics-education-gauge-integration/). But in principle you are stuck with ##f## as it is the basis of your considerations.
Now for another little question: while I do know for sure that ##f'(x)## is always the gradient of ##f(x)## at any value of ##x##, ...
Usually it is defined that way: ##f'(x) = \lim_{h \to 0} \frac{f(x+h)-f(x)}{h}## or ##f(x+v)=f(x) + \nabla_x(f)\cdot v + r(v)## with a small correction ##r##.
... does it always also hold true that ##\int _a^bf\left(x\right)dx## will always give you the area between ##f(x)##, the ##x##-axis, and the lines ##x=a## and ##x=b##?
Not really. The easy answer is no, because ##\int_0^{2\pi}\sin(x)\,dx=0## whereas there is actually an area beneath the sine. Or take the example with a removable singularity, where area isn't really defined. In addition it depends on ##f## itself. The picture with the area is a rather real one, i.e. for real functions in one variable. For complex functions this picture breaks down.
Or is it possible for an integral to have a value that does not reflect the area under the graph?
Does my example with the sine count? I don't know a good answer actually, as there are really pathological functions out there and the risk is high to forget some of those. Despite this we probably would have to narrow down the variety of possibilities: which functions of how many variables where from defined where with or without singularities and in the end eventually with which measure. For continuous real functions ##f\, : \,\mathbb{R} \rightarrow \mathbb{R}## between two consecutive zeros, the absolute value of the integral of ##f## is the area.
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K