
#1
Nov2812, 08:37 AM

P: 625

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? 



#2
Nov2812, 07:50 PM

Sci Advisor
P: 3,173

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
Nov2812, 08:50 PM

P: 625

Hi Stephen!
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 L^{2}(ℝ) simply because [itex]f\circ \phi[/itex] is not in L^{2}(ℝ) anymore. I just wanted to know if this reasoning is correct. 



#4
Nov2812, 09:46 PM

Sci Advisor
P: 3,173

question on inner products between functions 



#5
Nov2812, 10:24 PM

P: 625

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. 



#6
Nov2812, 11:57 PM

Emeritus
Sci Advisor
PF Gold
P: 8,992

An inner product (or semiinner 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
Nov2912, 12:43 AM

P: 625

ok! got it.
Thanks Fredrik and Stephen. 



#8
Nov2912, 06:54 PM

Sci Advisor
P: 3,173

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. 


Register to reply 
Related Discussions  
uniformly convergent series and products of entire functions  Calculus  2  
Products and ratios Bessel functions > any known approximations?  Calculus  1  
Integrating products of Bessel functions  Calculus  1  
just a simple question on dot products  Introductory Physics Homework  7  
Questions concerning cross products, dot products, and polar coordinates  Introductory Physics Homework  1 