Non continuously differentiable but inner product finite

AI Thread Summary
The discussion revolves around the confusion regarding the definition of the inner product <v, Lu> when the function u is not continuously differentiable, particularly in the context of Green's functions. It is clarified that even if Lu is not square-integrable, the inner product can still be defined in a larger function space where Lu exists. An example is provided where u has a kink, making it non-differentiable at a point, yet the integral of <v, Lu> remains finite. The key point is that while Lu may not be defined in the traditional sense, it can still be analyzed within a broader mathematical framework. Understanding this concept is crucial for grasping the implications of non-continuously differentiable functions in functional analysis.
Sumanta
Messages
25
Reaction score
0
Hello,

I was trying to understand Green's function and I stumbled across the following statements which is confusing to me.

I was referring to the following site

http://www.math.ohio-state.edu/~gerlach/math/BVtypset/node79.html

Here the author says the following

"What if $ u$ is not a continuously differentiable function? Then its image $ Lu$ is not square-integrable, but the inner product <v, Lu> is still well-defined because it is finite. For example, if u is a function which has a kink, then $ Lu$ would not be defined at that point and $ Lu$ would not be square-integrable. Nevertheless, the integral of $ \overline v Lu$ would be perfectly finite."

I don't understand the fact is if Lu is not defined how can u define an inner product with v at any point, ie <v, Lu>. What does it mean physically at all, is it a mathematical jugglery to move the L operator to v and then say that look it is still defined? I am totally confused.

Thanks a lot for any help in advance.
 
Last edited by a moderator:
Physics news on Phys.org
Why do you say "Lu is not defined"? If Lu is not square-integrable, then it is not in L2 but it is in some larger space, of which L2 is a subspace. The innerproduct can be defined in that larger space.
 
Hi,

I say L is not defined because of the following. Let's give an example. Since L can be d^2/dx^2 + a(x) d/dx + b(x) and if u consider the function u s.t

for say (a< x <b), a<0, b >0

u(x) = 0 x<0,
= x x>= 0

The fn u is cont but is not differentiable at x = 0. So I am not sure how for such functions u can define the operator like this. This is my question.

Regards
Sumanta
 

Similar threads

Replies
8
Views
3K
Replies
38
Views
6K
Replies
2
Views
3K
Replies
12
Views
3K
Replies
4
Views
1K
Replies
1
Views
3K
Replies
2
Views
1K
Replies
2
Views
1K
Replies
15
Views
2K
Back
Top