Limit of expression containing unknown function.

Click For Summary

Discussion Overview

The discussion revolves around the limit of the expression involving an unknown function, specifically examining whether the limit of \( x \frac{d}{dx} |f(x)|^2 \) approaches zero as \( x \) approaches \( \pm \infty \), given that the integral \( \int |f(x)|^2 dx \) is finite. The context is rooted in quantum mechanics, particularly in relation to the properties of wave functions.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant inquires about the conditions under which the limit \( \lim_{x\rightarrow\pm\infty} x \frac{d}{dx} |f(x)|^2 = 0 \) can be established, referencing Griffith's textbook and the assumption that \( f(x) \) approaches zero at infinity.
  • Another participant suggests that if the integral \( I = \int_{-\infty}^\infty |f(x)|^2 \; \text{d}x \) converges, then the limit should hold, but acknowledges potential implied conditions.
  • A participant clarifies that the author eliminated a term during integration by parts based on the assumption that \( \Psi \) approaches zero at infinity, expressing initial confusion over the multiplication by \( x \) and the derivative's form.
  • One participant challenges the assertion that the limit must be zero, providing a counterexample where \( |f(x)|^2 \) is non-zero only in a limited interval, suggesting that the limit could fail to be zero despite the integral converging.
  • Another participant questions the relevance of the derivative being large in a limited interval, arguing that the limit is taken far away from that interval where the derivative is zero.

Areas of Agreement / Disagreement

Participants express differing views on whether the limit can be conclusively determined to be zero. While some support the assertion based on convergence of the integral, others provide counterexamples and raise concerns about the assumptions involved, indicating that the discussion remains unresolved.

Contextual Notes

Participants note that the behavior of \( f(x) \) at infinity and the conditions for the convergence of the integral are crucial to the discussion, but these conditions are not fully articulated or agreed upon.

D_Tr
Messages
43
Reaction score
4
I would like to get an answer or pointers to suitable material, on the following question:

I know that ∫|f(x)|2dx is finite. Can we say that lim x→±∞ x*(d/dx)|f(x)|2 is zero? Are there any theorems about such limits with unknown functions that have some known properties? Basically this question arose from Griffith's introductory QM textbook which I started studying today (self study). f(x) is Ψ(x) and the author at page 16 takes the above limits to be zero "on the ground that Ψ goes to zero at ±∞". But it may go to zero asymptotically, and x goes to infinity, so we have an indeterminate form and we know only that the function's absolute value squared has a finite integral. I posted here, however, since I would like to get a more general answer on these types of limits and to be at least aware of the theory that deals with them.

Thanks in advance for your precious time people!
 
Physics news on Phys.org
Given: $$I=\int_{-\infty}^\infty |f(x)|^2\;\text{d}x$$ ... if ##I## converges, then; $$\lim_{x\rightarrow\pm\infty} x\frac{d}{dx}|f(x)|^2 = 0$$

(We also know from context that f(x) is a solution to the Schrödinger equation.)

I suspect there are other implied conditions... but I think it pretty much follows from the definition of an integral and the conditions for convergence.

What was the author trying to show by that particular limit?
 
  • Like
Likes   Reactions: 1 person
Thanks a lot :) The author calculated the time derivative of <x>, just before introducing the notion of the operator. In one of the few steps he eliminated the following term which appeared as a result of integration by parts:
[x[itex]\frac{d}{dx}[/itex]|Ψ|[itex]^{2}[/itex]][itex]^{-∞}_{∞}[/itex], "on the grounds that Ψ goes to zero at plus and minus infinity". It seems obvious now but I was a bit confused by the fact that the expression was multiplied by x and that the derivative was written in its expanded form containing he complex Ψ and Ψ* functions.
 
D_Tr said:
Thanks a lot :) The author calculated the time derivative of <x>, just before introducing the notion of the operator. In one of the few steps he eliminated the following term which appeared as a result of integration by parts:
[x[itex]\frac{d}{dx}[/itex]|Ψ|[itex]^{2}[/itex]][itex]^{-∞}_{∞}[/itex], "on the grounds that Ψ goes to zero at plus and minus infinity". It seems obvious now but I was a bit confused by the fact that the expression was multiplied by x and that the derivative was written in its expanded form containing he complex Ψ and Ψ* functions.

No worries - it can take a while to learn to read these things ;)
 
Simon Bridge said:
Given: $$I=\int_{-\infty}^\infty |f(x)|^2\;\text{d}x$$ ... if ##I## converges, then; $$\lim_{x\rightarrow\pm\infty} x\frac{d}{dx}|f(x)|^2 = 0$$

(We also know from context that f(x) is a solution to the Schrödinger equation.)

This isn't actually true...for example f(x)2 can be the function which is 0 everywhere except for in the interval [n,n+1/n] where it bumps up to a value of 1/n and then back down to zero. Then the integral is equal to the sum
[tex]\sum_{n=1}^{\infty} 1/n^2[/tex]
which converges, but when it bumps up the derivative could be arbitrarily large; so that limit could fail to be zero even before you include multiplying by x.

Probably the condition that f(x) is supposed to be satisfying here is something like |f(x)|2 is convex if f(x) is large enough (equivalently |f(x)|2 is decreasing for large enough values of x - if |f(x)|2 is decreasing down to zero and you don't have those bumps, then it has to die faster than 1/x to be integrable, so the derivative will look like 1/x2 or something smaller (this is a handwavy argument but can probably be made rigorous).
 
I had thought of that ...
Does it matter that the derivative (per your example) in the interval that f is non-zero could be arbitrarily large?
The limit is taken arbitrarily far away from that interval - where the derivative is zero.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 53 ·
2
Replies
53
Views
7K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 24 ·
Replies
24
Views
4K