Sunday Function

There's just one small problem with the proofs: they are built on the fact that you know what the derivative of the sine is, and you can't show that in a rigorous fashion without knowing the limit... They're good ways of remembering what the limit is, but proofs they're not.

Good point, but there's a way around it without doing the standard geometric construction. In higher math, it's not unusual to define the sine and cosine functions in terms of their power series. Since by definition sin(x) = that series, it goes without proof. The price you pay for that is that you have to work backwards and show that those power series satisfy the "usual" properties of the trig functions. But since we're not interested in those properties we don't have to worry about that part.

So what does it mean to say that the left hand side of an equation is equal to the right hand side? It seems a bit strange that two functions can be equal when they are defined on different sets (as when the LHS not defined at x=0 and the RHS is).

How obvious is it really that, as x tends to zero, the series tends to zero - there are after all infinitely many terms there? I can give examples of series where the terms all go to zero but the sum does not so there must be something else working for you here.

#3: You're right, formally the RHS isn't defined at x = 0. Fortunately we don't need it to be. We're just using it to show that the limit as x approaches zero exists and is equal to 1. Think of it as a single-point form of analytic continuation.

#4: The limit of a sum is the sum of the limits, provided those limits exist. This is true even with infinite series (unless I'm badly mistaken, which has happened before). I'd love to see your example though, as my being proved wrong in this case is likely to be extremely interesting.

You should have said "analytic functions". Your * does not get you off the hook for "all functions". Not even close.

@1 misses the point that the properties of sin(x) are quite distinct from those of sinc(x). You can find the derivative of sin(x) without knowing the limit of sinc(x).

BTW, that question and those of the other comments can be addresses by looking at something like g(x) = sin(x)/x^2. All of the arguments above lead to the conclusion that it diverges at the origin.

Luke@3: The left hand side (the sinc function) is defined at x=0. It is defined to be 1. The proof shows this definition makes sense and that sinc(x) is continuous (and infinitely differentiable) at x=0.

kiwi@4: The series for sinc has limit 1. What is more remarkable about the series for sin(x) is that it converges when x is *anything*. It converges when x is 100000. It converges to zero when x is any multiple of pi.

What a score that AMS is here in Providence. I know right where it is on Charles St. in Providence near the USPS Turnkey office (029xx)

And a friend of mine used to do the typesetting for AMS.

Cool shit, holmes! I choose to define 1/0 as eleventeen fucktillion.

By examination you have six possible "good" answers at x = 0: -infinity, -1, 0, 1, infinity; undefined. Anything else is a privileged answer. "Continuous and differentiable" suggests 1 is the boojum at the singularity. However... does any other function with a 0/0 singularity not asymptote to 1 at either side? If that, then "undefined." You cannot have a valued expression whose value depends on its neighborhood. 1 + 1 = 3 does not obtain for sufficiently large values of 1.

(Excluding economists set to shout "heteroskedasticity!" when it empirically fails. Nobel Prize/Economics are awarded for that - Milton Friedman, "Whip Inflation Now!" and his Boys from Chicago deligting Augusto Pinchet; Merton, Scholes, and "Long Term Capital Investment").

Matt,

Here is an example of a series whose terms all tend to 0 as x tends to zero but the sum does not ...

1/(1+x) = x/(1+x)(1+2x) + x/(1+2x)(1+3x) + x/(1+3x)(1+4x) + x/(1+4x)(1+5x) + ...

To verify the sum use partial fractions.

CCPhysicist,

You'll get no argument from me about the complete implausibility of the power series for sin, its periodicity, vanishing at multiples of pi etc. It completely blows my mind every time I contemplate it, as does the convergence of the exponential series to ever smaller values as the argument becomes bigger and bigger (negatively speaking).

I will argue with you about the independence of the derivative of sin and the limit of sinc. To the contrary, I think a good case could be made that they are equivalent.

The derivative involves a difference in the numerator, not a single function. They are closely related, but you can obtain the derivative of sin in general without ever dealing with its value at a specific point.

Kiwi, I'm afraid we might be rapidly approaching areas of real/complex analysis that are beyond my limited skill. However, I believe I see a problem with the series you propose. While both sides are defined at x = 0, it's not possible to take a limit as x -> 0 on the RHS. In particular the function blows up for every x = -1/n. Any epsilon that's picked is going to have one of those 1/n explosions inside it.

Ok, change x to x^2 ...

1/(1+x^2) = x^2/(1+x^2)(1+2x^2) + x^2/(1+2x^2)(1+3x^2) + x^2/(1+3x^2)(1+4x^2) + x^2/(1+4x^2)(1+5x^2) + ...

In general switching the order of two limits (which is what we are doing here) works only if the convergence of one of them is uniform with respect to the other. Method 2 works in your original post because the power series for sin converges uniformly in an interval about the origin. In fact power series always converge uniformly (and absolutely) so long as you stay away from the endpoints of the interval of convergence, which is way you can get away with almost anything.

CCPhysicist, I don't really understand your statement. The derivative of sin at any point x is related to the value of the limit in question by the formula

D sin(x) = (lim h->0 sin(h)/h) * cos(x).

If this limit is not 1 (which is the case if you use degrees instead of radians, and in fact this is the reason we use radians!) then the derivative of sin is not cos.

Ah. That makes sense from a complex analysis standpoint. 0 is still an accumulation point, with singularities popping up along the imaginary axis. That explains the issue - the behavior at 0 is essentially pathological.

Treated purely as a real function that series is even more interesting, but my real analysis sucks so for the moment I'll have to file it away in the "cool stuff to learn later" bin.

But that was my point: You only need the limit of sinc(h), not the value of sinc(0), and you need this to get the derivative of sin(x) at *any* point, not just at the point where you might apply the hospital rule.

You paint the lily not gild it, you gild gold.

Also, it's gild not guild

Shakespeare's King John, 1595:

SALISBURY:
Therefore, to be possess'd with double pomp,
To guard a title that was rich before,
To gild refined gold, to paint the lily,
To throw a perfume on the violet,
To smooth the ice, or add another hue
Unto the rainbow, or with taper-light
To seek the beauteous eye of heaven to garnish,
Is wasteful and ridiculous excess.

"The limit of a sum is the sum of the limits, provided those limits exist. This is true even with infinite series (unless I'm badly mistaken, which has happened before). "

Depends.

It is only true within the radius of convergence of the series, and even then it depends on what kind of convergence. There is a theorem due to Riemann that if you rearrange the terms in a conditionally convergent series, you can make it converge to any value you want, or even to not converge at all (called, oddly enough, the Riemann Series theorem). The standard example of this is the alternating harmonic series.

Most series we deal with in physics converge uniformly with an infinite radius, which is convenient, and it makes us get used to thinking that infinite series can be treated more or less like numbers or real functions. However, it is worth remembering that the power series for the logarithm is conditionally convergent within a finite radius.

For your statement to apply, you need your series to be analytic. It isn't hard to cook up one that isn't. The one usually discussed is exp(-1/x^2). All its derivatives are 0 at x=0 so the Taylor series expanded around 0 is 0 for all x. The function, however, is nonzero for x not equal to 0 so it disagrees with its series representation. This issue doesn't arise in the complex plane since if the Taylor series converges is always converges to the function value.

So there are two counterexamples. The limit of each term in the series representation is zero but it does not converge to the function value. And in the Riemann example, rearranging the terms does not change their individual limits, but it does change their sum.

I am a bit late to respond to this contribution but I just discovered this web site. I liked your contributions and I thought the majority of your readers did too. For the sceptics and those who are not altogether happy about the two methods given by you, I should like to propose Method 3 to evaluate f(x) = sin(X)/X as X tends to 0. Perhaps this might appeal to some of your readers.

A simple drawing could have simplified the things but this would have been difficult to reproduce, therefore I explain the sketch verbally. Here it is:

Draw a couple of radii inside a unit circle centred at point O, such that the radii form an angle X at the centre O. Call these radii R1 and R2 and points made on the unit circle made by the radii R1 and R2 A and B respectively. Drop a perpendicular line from A on to the radius R2. Call the point which the perpendicular line makes with the radius R2, C. Now we have a right angled triangle OAC and by definition of âsinusâ function: sin(X) = AC/OA, or sin(X) = AC as OA=1. Now again by definition of angle X in radians: X=arc (AB)/ OA or X=arc (AB). Therefore: f(X) = AC/arc(AB).

Now it can easily be observed that: AC â arc (AB), as X â0. Therefore, f(X) â 1. QED.