Finding a bound for a fraction

In summary: If I understand this correct your reasoning was ##h(x) = f(x) - g(x) \geq 0##, than it follows that ##f(x)## is greater than ##g(x)##? Can one say this?Yes, try to prove it for ##|M\theta| \le \frac \pi 2##.
  • #1
Peter_Newman
155
11
Hi,

I have given the following, which I would like to show that this estimation is correct, where ##|\theta| \leq \frac{\pi}{^2}## and ##M \geq 1##:

$$\frac{1}{M^2}\frac{\sin^2(M\theta)}{\sin^2(\theta)} \geq \frac{4}{\pi^2}$$

I would approach an estimation of the denominator via ##\sin(x) \leq x## for ##x \geq 0##, then I would have the following:

$$\frac{1}{M^2}\frac{\sin^2(M\theta)}{\sin^2(\theta)} \geq \frac{1}{M^2}\frac{\sin^2(M\theta)}{(\theta)^2}$$

However, I can't come up with a reasonable estimate for the numerator (to achieve the required limit of ##4/\pi^2##). Maybe my first thought is already wrong. But I simply do not come to this estimation.

I would be very grateful for helpful tips/hints!
 
Last edited:
Physics news on Phys.org
  • #2
We can get rid of the squares if we only consider positive parameters. That makes it easier to use e.g. the series expansion of the sine function, or the definition by the exponential function.

I would first try the latter.

Edit: What about ##\theta = \pi/3\, , \,M=3##?
 
Last edited:
  • #3
Hello,

I also thought about the Taylor series of ##\sin^2(M\theta)## and ##\sin(\theta)##, but here the shortening/rewriting is similarly difficult. Likewise with the exponential notation.

I have put both together once, with no possibility of shortening or estimating the limit.

Series:
##\sin^2(M\theta) = M^2x^2 - \frac{M^4x^4}{3} + \frac{2M^6x^6}{45}##
##\sin^2(\theta) = x^2 - \frac{x^4}{3} + \frac{2x^6}{45}##

$$\frac{1}{M^2}\frac{\sin^2(M\theta)}{\sin^2(\theta)} = \frac{1}{M^2}\frac{M^2x^2 - \frac{M^4x^4}{3} + \frac{2M^6x^6}{45} + ... }{x^2 - \frac{x^4}{3} + \frac{2x^6}{45} + ...}$$

Exponential notation:

$$\frac{1}{M^2}\frac{\sin^2(M\theta)}{\sin^2(\theta)} = \frac{1}{M^2}\frac{-\frac{1}{4}e^{-2iM\theta} - \frac{1}{4}e^{2iM\theta} + \frac{1}{2}}{-\frac{1}{4}e^{-2i\theta} - \frac{1}{4}e^{2i\theta} + \frac{1}{2}}$$
 
  • #4
Peter_Newman said:
Hi,

I have given the following, which I would like to show that this estimation is correct, where ##|\theta| \leq \frac{\pi}{^2}## and ##M \geq 1##:

$$\frac{1}{M^2}\frac{\sin^2(M\theta)}{\sin^2(\theta)} \geq \frac{4}{\pi^2}$$
That's roughly equivalent to $$\sin(M\theta) \ge \frac{2M}{\pi} \sin \theta$$
That's true for small ##\theta##, as ##\frac 2 \pi < 1##, but can't hold generally.

Although, it does hold for ##M\theta \le \frac \pi 2##.
 
  • Like
Likes Peter_Newman
  • #5
Hi @PeroK,

I think this ## \sin(M\theta) \ge \frac{2M}{\pi} \sin \theta ## helps. But how came you up with this? It looks like something I have already seen, but I don't remember what it was called...
 
  • #6
Peter_Newman said:
Hi @PeroK,

I think this ## \sin(M\theta) \ge \frac{2M}{\pi} \sin \theta ## helps. But how came you up with this? It looks like something I have already seen, but I don't remember what it was called...
If ##M\theta## is small, then ##\sin(M\theta) \approx M\theta##.

But, as ##M\theta## increases beyond ##\frac \pi 2## it decreases and gets to zero at ##\pi##. So, that can't work.

You need to change your bound to ##|M\theta| \le \frac \pi 2##. But, even then if ##M## is large it's not going to work. Or, perhaps it does?
 
Last edited:
  • Like
Likes Peter_Newman
  • #7
Yes, try to prove it for ##|M\theta| \le \frac \pi 2##.
 
  • Like
Likes Peter_Newman
  • #8
Hello

and thanks for your help! I have not yet managed an analytical proof, I do not know where exactly to start. Is it possible to prove this using the gradient of the function or an intermediate value theorem? But I had it plotted for me:

plt.PNG


Any further help on an analytical proof of ##\sin(M\theta) \ge \frac{2M}{\pi} \sin \theta## would be greatly appreciated!
 
  • Like
Likes PeroK
  • #9
Peter_Newman said:
Hello

and thanks for your help! I have not yet managed an analytical proof, I do not know where exactly to start. Is it possible to prove this using the gradient of the function or an intermediate value theorem? But I had it plotted for me:

Any further help on an analytical proof of ##\sin(M\theta) \ge \frac{2M}{\pi} \sin \theta## would be greatly appreciated!
Okay, it's not too hard. Let ##f(\theta) = \sin(M\theta) - \frac{2M}{\pi}\sin(\theta)##.

If we differentiate ##f(\theta)## we get a single local maximum somewhere in the range ##(0, \frac \pi {2M})##. The minimum value, therefore, occurs at one of the endpoints.

We have ##f(0) = 0## and ##f(\frac \pi {2M}) = 1 - \frac{2M}{\pi}\sin(\frac \pi {2M}) > 1 - 1 = 0##.

The last inequality follows from ##\sin(\theta) < \theta##, for ##\theta > 0##.
 
  • Like
Likes Peter_Newman
  • #10
If I understand this correct your reasoning was ##h(x) = f(x) - g(x) \geq 0##, than it follows that ##f(x)## is greater than ##g(x)##? Can one say this?

Another question, how could you say so quickly that the maximum is in the interval ##(0, \frac \pi {2M})##? For ##M = 1## you can quickly show that there is a maximum between ##0## and ##\pi/2## (via the zero of the first derivative...). But that's my underlying question, how did you then make the jump from there to the interval ##(0, \frac \pi {2M})##?

Thanks for the help!
 
  • #11
Peter_Newman said:
If I understand this correct your reasoning was ##h(x) = f(x) - g(x) \geq 0##, than it follows that ##f(x)## is greater than ##g(x)##? Can one say this?
That's what greater than means!

Peter_Newman said:
Another question, how could you say so quickly that the maximum is in the interval ##(0, \frac \pi {2M})##? For ##M = 1## you can quickly show that there is a maximum between ##0## and ##\pi/2## (via the zero of the first derivative...). But that's my underlying question, how did you then make the jump from there to the interval ##(0, \frac \pi {2M})##?
It's just calculus (first and second derivatives etc.) to get maxima/minima on a closed interval.
 
  • Like
Likes Peter_Newman
  • #12
I agree with you in essence, @PeroK! But I would like to take another quick look here.

So ##f'(\theta) = M\cos(M\theta) - \frac{2M}{\pi}\cos(\theta)## is the first derivative we are interested here in the zeros, because we can conclude with these then on a possible maximum. So we have:
$$f'(\theta) = M\cos(M\theta) - \frac{2M}{\pi}\cos(\theta) = 0$$
Now I would be very interested in how you proceeded here to find the zeros.



So my thought was and can be described approximately as follows, I picked out the individual terms and looked when these are zero, so that one has in the ideal case an identity, something like this:
$$f'(\theta) = M\cos(M\theta) - \frac{2M}{\pi}\cos(\theta) = 0$$
With that I now look at the individual cosine terms and check when these are 0.
##\cos(M\theta) = 0, \text{ if } M\theta = \frac{\pi}{^2} \Rightarrow \theta = \frac{\pi}{2M}##
##cos(\theta) = 0, \text{ if } \theta = \frac{\pi}{^2}##
##\cos(M\theta) = cos(\theta) = 0, \text{ if } \theta = 0##

I would now conclude that there is a maximum between ##0## and ##\frac{\pi}{2M}##, is it ok to do it that way?
 
  • #13
To see that there is a single zero of ##f'(\theta)## I took out the factor of ##M## and looked at the graphs of the two components. This can be made rigorous with a little more calculus.

I can't see that looking for zeroes of each component achieves anything.
 
  • #14
Ah ok, so you made an estimate with the plot then. However, I cannot come up with an analytical solution of ##f'(\theta) = \cos(M\theta) - \frac{2}{\pi}\cos(\theta) = 0## (I took out the factor of ##M##...). I once used the CAS of my choice (WolframAlpha), which unfortunately could not give me any further hints here...
 
  • #15
Peter_Newman said:
Ah ok, so you made an estimate with the plot then. However, I cannot come up with an analytical solution of ##f'(\theta) = \cos(M\theta) - \frac{2}{\pi}\cos(\theta) = 0## (I took out the factor of ##M##...). I once used the CAS of my choice (WolframAlpha), which unfortunately could not give me any further hints here...
You're not going to get a precise value for the zero. It's enough to show that there is a zero.

Just sketch the graphs.
 
  • #16
YES, I already thought that you can't get an exact zero. But that a zero exists could be found out by a sign change criterion...

I would be interested, how this "This can be made rigorous with a little more calculus" looks exactly :smile:
 
  • #17
There's nothing mysterious. We have two monotonic functions that must intersect once and only once on the interval ##(0, \frac{\pi}{2M})##.
 
  • #18
You had said before that you pulled out the ##M##. So we look at these two functions ##f_1(\theta) = \cos(M\theta)## and ##f_2(\theta) = \frac{2}{\pi}\cos(\theta)## and find that they intersect somewhere in the interval from ##0## to ##\frac{\pi}{2M}##.
 
  • #19
Peter_Newman said:
You had said before that you pulled out the ##M##. So we look at these two functions ##f_1(\theta) = \cos(M\theta)## and ##f_2(\theta) = \frac{2}{\pi}\cos(\theta)## and find that they intersect somewhere in the interval from ##0## to ##\frac{\pi}{2M}##.
Yes, exactly. Looking at the graphs: The first starts at ##1## and decreases to ##0##, the second starts at ##\frac 2 {\pi}##, which is less than ##1## and decreases to some positive value at ##\theta = \frac{\pi}{2M}##. That gives one point of intersection.
 
  • Like
Likes Peter_Newman
  • #20
If so I have no further questions! Thank you @PeroK ! This (#19) is what I wanted to express with my post #12
 
  • #21
One question has come up for me after all. So we now have two claims, one ##|M\theta| \leq \frac{\pi}{2}## and ##|\theta| \leq \frac{\pi}{2}##, right? Originally, only this was given ##|\theta| \leq \frac{\pi}{2}## and thus alone the estimation (post #1) was given...
 
  • #22
Peter_Newman said:
One question has come up for me after all. So we now have two claims, one ##|M\theta| \leq \frac{\pi}{2}## and ##|\theta| \leq \frac{\pi}{2}##, right? Originally, only this was given ##|\theta| \leq \frac{\pi}{2}## and thus alone the estimation (post #1) was given...
You need the the bound on ##M\theta##.
 
  • #23
Good morning @PeroK. Yes, that's right, we discussed that and it's understandable :smile:. But what I don't quite understand, how then in the original it just says that the estimation is for ##|\theta| \leq \frac{\pi}{2}##, I find that a bit strange (Is this a typo?!).
 
  • #24
Peter_Newman said:
Good morning @PeroK. Yes, that's right, we discussed that and it's understandable :smile:. But what I don't quite understand, how then in the original it just says that the estimation is for ##|\theta| \leq \frac{\pi}{2}##, I find that a bit strange.
It's a typo, I guess.
 
  • Like
Likes Peter_Newman
  • #25
Yes, I accept that then so :) Because mathematically we had already discussed this well and understandably, that was so far great. But if one looks then into the book, one wonders however somewhat...
 

1. What does it mean to find a bound for a fraction?

Finding a bound for a fraction means determining the maximum or minimum value that the fraction can have, given certain constraints or conditions.

2. Why is finding a bound for a fraction important?

Finding a bound for a fraction can help in understanding the range of possible values for the fraction and can be useful in solving various mathematical problems.

3. What are some methods for finding a bound for a fraction?

There are various methods for finding a bound for a fraction, such as using algebraic manipulation, graphing, or applying mathematical inequalities.

4. Can a fraction have more than one bound?

Yes, a fraction can have more than one bound. This can happen when the fraction has multiple constraints or when the fraction is undefined at certain values.

5. Are there any real-world applications for finding a bound for a fraction?

Yes, finding a bound for a fraction is commonly used in fields such as engineering, economics, and statistics to analyze data and make predictions.

Similar threads

Replies
3
Views
900
Replies
4
Views
142
  • Calculus
Replies
29
Views
443
Replies
2
Views
136
Replies
16
Views
1K
Replies
3
Views
1K
Replies
3
Views
1K
  • Calculus
Replies
2
Views
1K
Replies
5
Views
1K
Replies
1
Views
1K
Back
Top