Is the definite integral a special case of functionals?

  • Thread starter jack476
  • Start date
  • #1
314
122
So yesterday I learned about functionals, which my book claims are "machines that take a function and return a number", in contrast to functions, which take a number and return another number. I immediately thought of definite integration: it's an operation that takes a function, and returns a number.

I did a Google search for this and found the Wikipedia page on functional integration, which says that a functional integral is an integral where the domain is not a region of space but a space of functions. Again, could the definite integral be a special case of this where the "space of functions" is just all of the values between the bounds of integration treated as constant functions?

And finally, when you take the derivative of a function like 3x, which is of course 3, is that also a functional? This seems like a bit more of a stretch, because taking the derivative of a more complicated function like x^2 gives back 2x which is a function, not a number.

Just wondering.
 

Answers and Replies

  • #2
470
58
Yes, the definite integral is a functional since, as you said, once you "feed" it with a function it gives you back a number. However, the derivative operator is not a functional since it does not give a number for every element of the space of functions.
 
  • #3
Stephen Tashi
Science Advisor
7,571
1,465
in contrast to functions, which take a number and return another number
Functionals are functions. They aren't "real valued functions of one real variable", but the definition of "function" is general enough to include functionals as being functions.

If you establish constant limits of integration on a definite integral, like [itex] \int_0^1 f(x) dx [/itex] or [itex] \int_{-\infty}^{\infty} f(x) dx [/itex] and consider [itex] f [/itex] the variable, then you have a functional. If you have a variable in the limits of integration, like [itex] \int_0^x f(t) dt [/itex] you don't get a functional.

You can define functionals that involve a function as a variable and other functions as non-variables. For example [itex] \int_0^1 f(x) e^x dx [/itex] is a functional if we consider [itex] f [/itex] the variable.
 
  • #4
22,089
3,294
However, the derivative operator is not a functional since it does not give a number for every element of the space of functions.
Neither does the definite integral.

The derivative is certainly a functional, a functional does not mean that you need to assign a number to every function (since there would be very few functionals then). You can actually restrict the domain to a suitable space of functions.
 
  • #5
Svein
Science Advisor
Insights Author
2,129
685
A common functional in the L2 space is integration against a square-summable kernel K: [itex] h=Af[/itex] given by [itex] h(x)=\int_{-\infty}^{\infty}K(x,s)f(s)ds[/itex].
 

Related Threads on Is the definite integral a special case of functionals?

Replies
3
Views
4K
  • Last Post
Replies
4
Views
732
Replies
1
Views
523
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
2
Views
863
  • Last Post
Replies
1
Views
587
Replies
4
Views
6K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
3
Views
1K
Top