Register to reply

What _is_ an indefinite integral?

by monea83
Tags: indefinite integral
Share this thread:
monea83
#1
Feb6-11, 03:40 PM
P: 20
Given an indefinite integral,

[tex]
\int f(x) dx = F(x) + C,
[/tex]

I am having some problems in understanding what this indefinite integral "is". The RHS is clearly a function, but what is the LHS? Judging by the equals sign, it should also be a function, but seemingly it isn't because there's no place at which to plug in a function argument (aka "x"). There is an "x" appearing on the LHS, but this is obviously a bound variable...

Of course I know how to use antiderivatives, but what I am trying to grasp here is the "nature" of an indefinite integral - what kind of object is it?
Phys.Org News Partner Science news on Phys.org
FIXD tells car drivers via smartphone what is wrong
Team pioneers strategy for creating new materials
Team defines new biodiversity metric
gb7nash
#2
Feb6-11, 03:50 PM
HW Helper
P: 805
Simply put, the definition of an indefinite integral of a function f is the function, call it F, who's derivative is f. So you can think of the antiderivative as being the opposite of the derivative. However, it is not the inverse since the constant can be any real number.
dextercioby
#3
Feb6-11, 04:34 PM
Sci Advisor
HW Helper
P: 11,927
In the reals, the indefinite integral (aka the antiderivative) of a function f(x) is the infinite set of differentiable functions whose first derivative equals f(x).

[tex] \mbox{The indefinite integral of the function f(x)} = \{F(x) + C | F'(x) = f(x), C\in\mathbb{R}\} [/tex]

HallsofIvy
#4
Feb7-11, 08:23 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,552
What _is_ an indefinite integral?

A better notation is
[tex]\int^x f(t)dt[/tex].
D H
#5
Feb7-11, 08:52 AM
Mentor
P: 15,167
Quote Quote by HallsofIvy View Post
A better notation is
[tex]\int^x f(t)dt[/tex]
Perhaps, but I have yet to see that notation used anywhere.

I have seen the indefinite integral written as

[tex]\int dx\,f(x)[/tex]

which makes [itex]\int dx[/itex] look more like an operator.
C.I.
#6
Feb9-11, 02:42 PM
P: 1
I think monea83 is right. There is something fundamentally wrong with the notion and the notation of 'indefinite integral'. If
\[
\int2x\,dx=x^2
\]
(with or without constant) you are entitled to plug in, say, $x=1$, which will lead you to all kinds of funny conclusions.

P.S. I'm new here and I was hoping my LaTeX code would somehow be automatically translated.
Phrak
#7
Feb9-11, 02:54 PM
P: 4,512
[tex]\int f(x) dx = F(x) + C = g(x,C)[/tex]
wisvuze
#8
Feb17-11, 12:28 AM
P: 367
so is the indefinite integral one particular primitive, or the set of all of them? :S
TylerH
#9
Feb17-11, 12:39 AM
P: 737
Quote Quote by monea83 View Post
Given an indefinite integral,
The RHS is clearly a function, but what is the LHS? Judging by the equals sign, it should also be a function, but seemingly it isn't because there's no place at which to plug in a function argument (aka "x"). There is an "x" appearing on the LHS, but this is obviously a bound variable...
There is no way to say [tex]\int f(x)dx=F(x)+C[/tex] and explicitly define what F(x) is. It's called an implicit function because there is no direct translation. The purpose is to specify the relation between the two, and leaves the leg work of finding what F(x), in explicit terms of x, is left up to the solver.
wisvuze
#10
Feb17-11, 12:48 AM
P: 367
Quote Quote by Phrak View Post
[tex]\int f(x) dx = F(x) + C = g(x,C)[/tex]
this sounds reasonable to me, but a lot of books define the indefinite integral as the collection of ALL primitives. Also, according to the wikipedia article: http://en.wikipedia.org/wiki/Antiderivative, the indefinite integral indeed refers to one primitive at a time
dextercioby
#11
Feb17-11, 06:05 AM
Sci Advisor
HW Helper
P: 11,927
I've been taught that an antiderivative of a functions is an element of the set I wrote in post #3. The set however defines the indefinite integral of the function f.
HallsofIvy
#12
Feb17-11, 10:15 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,552
Quote Quote by C.I. View Post
I think monea83 is right. There is something fundamentally wrong with the notion and the notation of 'indefinite integral'. If
\[
\int2x\,dx=x^2
\]
(with or without constant) you are entitled to plug in, say, $x=1$, which will lead you to all kinds of funny conclusions.

P.S. I'm new here and I was hoping my LaTeX code would somehow be automatically translated.
Unfortunately, the tags used to delimit LaTeX code varies from board to board.

Here, use [ tex ] [/tex ] (without the spaces) or [ itex ] [/itex ] for "inline" LaTeX.

[tex]\int2x\,dx=x^2[/tex]

[itex]\int2x\,dx=x^2[/itex]
disregardthat
#13
Feb17-11, 10:53 AM
Sci Advisor
P: 1,807
[itex]\int f(x) dx[/itex] is the set of functions (with domain equal to the domain of f) whose derivative wrt. x is is f(x). If F(x) is an antiderivative, then F(x) + C is as well for any constant C, and these functions exhaust the set of antiderivatives. You could say it is shorthand for set construction notation. Indefinite integration is not an inverse operation (as an inverse to an operation from functions to functions) to differentiation in the strict sense of the term, since differentiation is not an injective operator.


Register to reply

Related Discussions
Indefinite integral Calculus & Beyond Homework 3
An indefinite integral Calculus & Beyond Homework 2
An indefinite integral Calculus & Beyond Homework 2
What's the indefinite integral Calculus & Beyond Homework 10
Indefinite integral Introductory Physics Homework 4