2
$\begingroup$

What is the value of $\sin(x)$ if $x$ tends to infinity?

As in wikipedia entry for "Sine", the domain of $\sin$ can be from $-\infty$ to $+\infty$. What is the value of $\sin(\infty)$?

  • 8
    It says that the domain is $(-\infty,\infty)$ which means the endpoints $\infty$ and $-\infty$ are not included in the domain. That is, the function $\sin x$ is not defined at those points, $\infty$ and $-\infty$. However we can talk about the limit of this function as it tends to those points, only to be disppointed that the limits don't exist as well!2012-03-04
  • 0
    Can you define what is $\infty-1$?2012-03-04
  • 2
    $(-\infty,\infty)$ is just another way to express the set of all real numbers.2012-03-04
  • 0
    @Kannappan: There's no way to make sense of it as a real number.2012-03-04
  • 0
    @Patrick Precisely. I was waiting for OP to realise that!2012-03-04
  • 0
    @KannappanSampath: We can make sense of it ($\infty -1$) : http://en.wikipedia.org/wiki/Extended_real_number_line. And a way to make sense of $\sin \infty$ is to take the limit if it exists (as you already stated :-))2012-03-04
  • 0
    @Aryabhata Well, sine function is not defined on the extended real line. Even on exteded real line, $\infty-1=\infty$. I mean $\infty$ and $-\infty$ are symbols attached to $\Bbb R$ for some reasons!2012-03-04
  • 0
    @KannappanSampath: Yes, just thought that you might be interested in it (if you didn't already know about it). Not disputing the fact that limit of $\sin x$ as $x \to \infty$ does not exist etc.2012-03-04
  • 0
    That doesn't matter. The function $x^2/x$ is also not defined in $0$, but the limit is.2012-03-04
  • 0
    @Aryabhata Sorry if my comments had come as rude to you. Well, someone could write an answer showing that the limit at infinity does not exist, prove it and whatnot.2012-03-04
  • 0
    @KannappanSampath: No, I didn't find it rude. No worries :-)2012-03-04

3 Answers 3

6

If it said that the domain was $[-\infty,\infty]$ as opposed to $(-\infty, \infty)$, then that means that $\infty$ would be an allowable argument of sine. But the standard sine function is defined on the real numbers, and $\infty$ is not a real number.

But let's do a thought experiment. Suppose we were trying to consider sine as a map (perhaps not a function now, as we'll see in a moment) from the extended real numbers to the extended real numbers. That is, $\sin: \overline{\mathbb{R}} \to \overline{\mathbb{R}}$, and where the extended reals are the standard reals, plus two points that we call $\pm \infty$ (see also wiki: it's not a trivial thing to consider). What would be a reasonable way to define sine at the infinities?

If $\lim_{x \to \infty} \sin x$ existed, that would be the clear candidate. But it's not. Perhaps the set of limit points should be the definition, i.e. saying $\sin{\infty} = [-1,1]$. That seems interesting to me, but it's no longer a function. This even feels like what the definition should be to me, but it loses many convenient properties, like continuity, and it's a bit nonsensical.

5

Suppose $\lim_{x \to \infty} \sin(x) = L$. $\frac{1}{2} > 0$, so we may take $\epsilon = \frac{1}{2}$.

let N be any positive natural number. then $2\pi (N + \frac{1}{4}) > N$ as is $2\pi (N+\frac{3}{4})$.

but $\sin(2\pi (N + \frac{1}{2})) = \sin(\frac{\pi}{2}) = 1$.

so if $L < 0$, we have a $y > N$ (namely $2\pi (N + \frac{1}{4})$) with:

$|\sin(y) - L| = |1 - L| = |1 + (-L)| = 1 + |L| > 1 > \epsilon = \frac{1}{2}$.

similarly, if $L \geq 0$, we have for $ y = 2\pi (N+\frac{3}{4}) > N$:

$|\sin(y) - L| = |-1 - L| = |(-1)(1 + L)| = |-1||1 + L| = |1 + L| = 1 + L \geq 1 > \epsilon = \frac{1}{2}$.

thus there is NO positive natural number N such that:

$|\sin(y) - L| < \frac{1}{2}$ when $y > N$, no matter how we choose L.

since every real number L fails this test for this particular choice of $\epsilon$, $\lim_{x \to \infty} \sin(x)$ does not exist.

(edit: recall that $\lim_{x \to \infty} f(x) = L$ means that for every $\epsilon > 0$, there is a positive real number M such that $|f(y) - L| < \epsilon$ whenever $y > M$. note that there is no loss of generality by taking M to be a natural number N, since we can simply choose N to be the next integer greater than M.)

  • 0
    Before writing "so we may take $\epsilon = \frac12$", you really should give the $\epsilon/\delta$ (or is that $\epsilon/L$ here?) definition of $\lim$ you're using, if only so that we can tell which symbols you're using for what purpose.2012-03-04
  • 0
    for limits at infinity, there is no delta. that is what N is for. my use of epsilon is fairly standard.2012-03-04
  • 1
    Yes, I know, but it would help if you actually gave the definition so that we wouldn't have to guess. (And so that readers who _don't_ remember the definition by heart can still make sense of your answer.) In particular, I'm personally more likely to use $\epsilon/M$ for the definition of $\lim$ at $\infty$, since that's the convention I learned back in _Real Analysis I_. Unless, of course, I've already used $\epsilon$ or $M$ for something else, in which case I'll just pick some other letter to use.2012-03-04
  • 0
    definition added for clarity's sake. hopefully this sheds some light on why I used "N" instead of M.2012-03-04
2

Mathematics has many different ways of talking about infinity. In particular, there is more than one way of adjoining infinite quantities to the real number line. One, which is similar in spirit to what the others have been talking about, is the extended real number line. Another is the hyperreals. In the hyperreals, we have many different sizes of infinity, functions such as the sine can be extended to the whole hyperreal line in a natural and uniquely defined way, and it makes sense to say that $\sin x$ has some value, where $x$ is a certain infinite number. There is also a notion of an infinite integer, and we can, for example, say that $\sin(\pi n)=0$ and $\sin(\pi (n+1/2))=\pm 1$ if $n$ is an infinite integer.

What this still does not allow is any conclusion about the value of $\sin x$ as $x$ tends to infinity: $\sin x$ takes on all values between $-1$ and $+1$ for various infinite values of $x$.

  • 1
    whereas a function such as $f(x) = 1/x$ has a constant "standard part" on the infinite hyperreals, namely 0.2012-03-04