Proving ABS(Integral of [sin(x)/x^2)]dx) for Complex Alpha(t) <or= 2epi

  • Thread starter Thread starter moo5003
  • Start date Start date
  • Tags Tags
    Complex Integrals
Click For Summary

Homework Help Overview

The discussion revolves around proving the inequality involving the integral of the function sin(x)/x^2 along a complex path defined by Alpha(t) = e^(2ipit) for 0 ≤ t ≤ 1. The goal is to show that the absolute value of this integral is less than or equal to 2π.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants explore the use of bounds for the function sin(x)/x^2, particularly in the context of complex arguments along the unit circle. There is discussion about applying Euler's formula to simplify the expression and questions about the validity of the proposed substitutions and simplifications.

Discussion Status

Some participants have made progress in their reasoning and calculations, while expressing doubts about the correctness of their results. There is an ongoing exploration of the implications of the triangle inequality and the properties of the functions involved, with no explicit consensus reached on the correctness of the approach.

Contextual Notes

Participants are working under the constraints of proving the inequality without providing a complete solution, and there is a focus on ensuring that the assumptions about the boundedness of the function are valid within the specified domain.

moo5003
Messages
202
Reaction score
0

Homework Statement


Alpha(t) = e^(2ipit) for 0 <or= t <or= 1
Prove ABS(Integral over Alpha of [sin(x)/x^2)]dx) <or= 2epi

The Attempt at a Solution


Looking at the book I've come across what I believe I need to use to derive the relation, namely: ABS[Integral over alpha( f(x)dx)) <or= Cl(alpha) where
C >or= ABS(f(x)) for all x in the Image of alpha.

What I want to show then is that ABS(sin(x)/x^2) < C for all complex numbers with magnitude one, since alpha is just the unit circle.

My basic question is then, how can I show sin(x)/x^2 is bounded above given complex arguments?

Any help would be appreciated
 
Physics news on Phys.org
Eulers Formula- [tex]e^{ix}=\cos x + i \sin x[/tex].

[tex]\sin x = \frac{e^{ix} + e^{-ix}}{2i}[/tex]. Make that substitution.
 
Gib Z said:
Eulers Formula- [tex]e^{ix}=\cos x + i \sin x[/tex].

[tex]\sin x = \frac{e^{ix} + e^{-ix}}{2i}[/tex]. Make that substitution.


I thought eulers formula said that sin(x) = (e^ix - e^-ix)/(2i)?
Either way, do you think proving that sin(x)/x^2 is bounded a good path to take or are you giving this substitution to work it another way?

The best simplification I've gotten using eulers and then imputting it back in is that ABS(sin(x)/x^2) = (cos(x)-1)/x^2 Even then I'm unsure where to go. I think I need to use the fact that alpha is the unit circle to somehow conclude that ABS(sin(x)/x^2) cannot exceed e, and therefore I can just say that the integral is less then or equal to the arclength (2pi) * C (e).
 
Alright I think I have made some progress, though I think my results are off since I didnt get what I needed explicitly.

ABS(sin(x)/x^2) = ABS(sin(x)) * ABS(1/x^2)

Since the arguments are magnitude of 1, 1/x^2 will still have magnitude of 1 and therefore ABS(1/x^2) has magnitude 1.

= ABS(sin(x)) = ABS( (e^ix - e^-ix)/(2i) )

Using triangle inequality we can break up the summation

<or= ABS( e^ix / 2i ) + ABS( e^-ix/2i )

Taking the magnitude of each of these we get:

1/2 + 1/2 = 1

Thus the integral much be less then or equal to l(alpha)C = 2pi < 2epi.

Did I make a mistake somewhere in the proof? I have very large doubts that this is completley correct, though I think the form is correct and that I'm just making a mistake somewhere in my calculation/reasoning.
 
Last edited:
Umm well to the novice mind, it seems correct. And yes you were right with your correction, I always put a little of the cosines form into the sines >.<
 

Similar threads

Replies
4
Views
2K
Replies
3
Views
2K
  • · Replies 105 ·
4
Replies
105
Views
11K
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 23 ·
Replies
23
Views
2K
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K