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

Discussion Overview

The discussion revolves around the relationship between the domains of a function and its derivative, as well as the interpretation of integrals in relation to area under curves. Participants explore theoretical aspects of calculus, particularly focusing on the implications of domain restrictions and the nature of integrals.

Discussion Character

  • Exploratory
  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • Some participants propose that the domain of the derivative, ##f'(x)##, is always less than or equal to the domain of the original function, ##f(x)##, but note exceptions involving functions with larger domains.
  • One participant suggests that the integral of a function, ##F(x)##, will have a domain equal to or greater than that of ##f(x)## based on the assumption about the derivative's domain.
  • Another participant challenges the assumption about integrals, stating that integrals can be defined even at points where the original function is not defined, such as at removable singularities.
  • There is a discussion about whether the integral ##\int_a^b f(x)dx## always represents the area between the curve and the x-axis, with some participants arguing that this is not always the case, citing examples like the integral of the sine function over a full period.
  • One participant raises the complexity of defining area in the context of pathological functions, suggesting that the relationship between integrals and area can vary significantly based on the nature of the function involved.

Areas of Agreement / Disagreement

Participants express differing views on the relationship between the domains of functions and their derivatives, as well as the interpretation of integrals. There is no consensus on these issues, and multiple competing perspectives remain present throughout the discussion.

Contextual Notes

Participants highlight limitations in their arguments, such as the dependence on definitions of functions and integrals, and the presence of singularities that may affect the validity of claims regarding domains and areas.

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
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · 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
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K