Question on inner products between functions

  • Thread starter mnb96
  • Start date
  • Tags
    Functions
In summary, the conversation discusses the concept of inner products of functions on different domains, where the first case involves a smooth and bijective mapping on the same vector space while the second case involves a different vector space. The participant raises the question of whether it is possible to define an inner product between functions on different domains and the response is that it may be possible, but it would require defining a new vector space that contains both domains as its vectors. However, in the given context, there is no standard definition for this operation.
  • #1
mnb96
715
5
Hello,

let's suppose I have two functions [itex]f,g\in L^2(\mathbb{R})[/itex] and I consider the inner product [tex]\left\langle f,g \right\rangle = \int_\mathbb{R} f(x)g(x)dx[/tex]
If I transform the function f in the following way [itex]f(x) \mapsto f(\phi(u))[/itex], where [itex]\phi:\mathbb{R}\rightarrow \mathbb{R}[/itex] is smooth and bijective, I can still calculate the inner product [tex]\left\langle f \circ \phi,g \right\rangle = \int_\mathbb{R} f(\phi(u))g(u)du[/tex] Instead, if [itex]\phi:U\rightarrow \mathbb{R}[/itex] is smooth and bijective but U is not necessarily ℝ, I can't calculuate the inner product [itex]\left\langle f \circ \phi,g \right\rangle[/itex] anymore.

Does this happen because in the first case [itex]\phi[/itex] acted as a mapping [itex]L^2(\mathbb{R}) \rightarrow L^2(\mathbb{R})[/itex] to the same vector space, while in the second case we had a mapping [itex]L^2(\mathbb{R}) \rightarrow L^2(U;\mathbb{R})[/itex] which is a different vector space. Am I right?
 
Physics news on Phys.org
  • #2
mnb96 said:
, I can't calculuate the inner product [itex]\left\langle f \circ \phi,g \right\rangle[/itex] anymore.

That's a fairly confusing question!

On a given vector space, it may be possible to define more than one inner product. When you have picked a definite "inner product space" then you have picked one particular inner product. There is no rule that the inner product on a vector space of functions must be chosen to be the intergral of their pointwise product. Their isn't even any rule that says the sum of two functions in a vector space of functions must be defined as pointwise sum of the two functions. All that is needed is that there be some sort of operation that satisifes the axioms for vector addition. So when you say "I can't calculate the inner product...", it isn't a precise statement. You have to define exactly what the inner product you are talking about before asserting it can't be calculated. You also need to define exactly what vector space you are talking about.
 
  • #3
Hi Stephen!

Stephen Tashi said:
You also need to define exactly what vector space you are talking about.

As a vector space I am considering L2(ℝ), the square integrable functions of one variable over the reals.

Stephen Tashi said:
You have to define exactly what the inner product you are talking about before asserting it can't be calculated.

the inner product I am considering over L2(ℝ) is [itex]f\cdot g = \int_\mathbb{R}f(x)g(x)dx[/itex]

What I was trying to say is that, with the above definitions of our inner product vector space, when we consider a function [itex]f\circ \phi[/itex], where [itex]\phi:U\rightarrow \mathbb{R}[/itex] is smooth and bijective but U is not necessarily ℝ, it does not make sense to calculate the inner product between [itex]f\circ \phi[/itex] and another function g in L2(ℝ) simply because [itex]f\circ \phi[/itex] is not in L2(ℝ) anymore.
I just wanted to know if this reasoning is correct.
 
  • #4
mnb96 said:
, it does not make sense to calculate the inner product between [itex]f\circ \phi[/itex] and another function g in L2(ℝ) simply because [itex]f\circ \phi[/itex] is not in L2(ℝ) anymore.
I just wanted to know if this reasoning is correct.

It's correct that an inner product of two functions on [itex] U [/itex] is not defined merely by stating the definition of an inner product of two functions on [itex] \mathbb{R} [/itex] and the existence of the transformation [itex] \phi [/itex]. It may be possible to come up with a "sensible" definition for an inner product of functions on [itex] U [/itex] that makes reference to the transformation [itex] \phi [/itex] and an inner product of functions on [itex] \mathbb{R} [/itex]. It wouldn't be correct to say that creating such a definition is impossible.
 
  • #5
Stephen Tashi said:
It may be possible to come up with a "sensible" definition for an inner product of functions on [itex] U [/itex] that makes reference to the transformation [itex] \phi [/itex] and an inner product of functions on [itex] \mathbb{R} [/itex]

I am not sure I understood exactly what you meant here; did you mean something like the following? : [tex]\left\langle f\circ \phi,\, g\circ\phi) \right\rangle_U = \int_U J_\phi^{-1}f(\phi(u))g(\phi(u))du=\int_\mathbb{R}f(x)g(x)dx = \left\langle f, g \right\rangle[/tex] where J is the determinant of the Jacobian matrix of the transformation [itex]\phi[/itex].

Here I just defined an inner product for functions on U that makes reference to [itex]\phi[/itex] and to our original inner product on the functions on ℝ. However I don't see how we could make a definition of inner product such that we could take inner products of functions on U with functions on ℝ. Is that possible? It seems to me that such an inner product (if it exsited) would not satisfy the "symmetry"-axiom.
 
Last edited:
  • #6
An inner product (or semi-inner product) on a real vector space V is a map from V×V into ℝ (that satisfies some additional properties).

The problem with your (second) ##\phi## and ##f\circ\phi## is just that they're not members of the vector space. So the answer to your question is simply "yes".
 
  • #7
ok! got it.
Thanks Fredrik and Stephen.
 
  • #8
mnb96 said:
However I don't see how we could make a definition of inner product such that we could take inner products of functions on U with functions on ℝ. Is that possible?.

I'm not saying that I know how to do it but I see no proof that it is impossible. To do it, you would have to define a vector space that contained both functions on [itex] \mathbb{R} [/itex] and functions on [itex] U [/itex] as vectors. You might try defining vectors for such a space as a linear combinations of two such functions.

You need to clarify the context of your question. On one hand, I can imagine you reading a paper by someone who made mathematical errors in symbolic manipulations and is trying to take "the usual" inner product between two functions on different domains without stating any special definitions that would make that a sensible operation. I'd agree that this is an error since, as far as I know, there is no standard definition for that operation that we can assume he is using.

On the other hand, you might be trying to invent some new mathematics and you might be searching for a way to define an inner product of functions on two different domains. I'm not necesarily optimistic about the usefulness of that idea, but I wouldn't say you should automatically give up.
 

1. What is an inner product between functions?

An inner product between two functions is a mathematical operation that takes two functions as inputs and produces a single scalar value as the output. It is used to measure the similarity or correlation between two functions.

2. How is an inner product between functions calculated?

The inner product between two functions, f(x) and g(x), is calculated by integrating the product of the two functions over a specific interval. The interval can be from -∞ to ∞ or a specific range depending on the problem. The resulting value is the inner product between the two functions.

3. What are the properties of inner products between functions?

The inner product between functions has several properties, including linearity, symmetry, and positive definiteness. Linearity means that the inner product of a linear combination of functions is equal to the same linear combination of their individual inner products. Symmetry means that the inner product between two functions is the same regardless of the order in which they are multiplied. Positive definiteness means that the inner product of a function with itself is always greater than or equal to zero.

4. What is the purpose of inner products between functions?

The main purpose of inner products between functions is to measure the similarity or correlation between two functions. It is used in various fields of mathematics, such as functional analysis, signal processing, and quantum mechanics. It also has applications in computer science and engineering.

5. Can inner products between functions be extended to higher dimensions?

Yes, inner products between functions can be extended to higher dimensions. In higher dimensions, it is called an inner product space, and the properties of inner products still hold. The only difference is that the functions become vectors, and the integration is replaced by a dot product or a matrix multiplication.

Similar threads

  • Linear and Abstract Algebra
Replies
19
Views
2K
  • Linear and Abstract Algebra
Replies
4
Views
810
  • Linear and Abstract Algebra
Replies
8
Views
925
  • Linear and Abstract Algebra
Replies
17
Views
2K
  • Linear and Abstract Algebra
Replies
2
Views
947
  • Linear and Abstract Algebra
Replies
19
Views
4K
  • Linear and Abstract Algebra
Replies
17
Views
1K
  • Linear and Abstract Algebra
Replies
9
Views
851
  • Linear and Abstract Algebra
Replies
7
Views
1K
  • Linear and Abstract Algebra
Replies
5
Views
970
Back
Top