2
$\begingroup$

I have come across the function $\sin^{x}(x)$ (or a in a different notation$(\sin(x)^{x})$ while practicing calculating its the first derivative. I then plot it in Desmos since I don't know how to graph this by hands yet. It seems that the graphing device suggests this function is discontinuous between the interval $[\pi ,2\pi ]$. The graph is also peculiar between the interval $[0 ,\pi ]$, while replicating itself for any interval $(2\pi ,3\pi )$, $(3\pi ,4\pi )$, $(5\pi ,6\pi )$, etc.

The behaviour of this function on the entire interval $(-\infty ,0)$ is also interesting. It doesn't look anywhere similar to $[0,+∞)$.

The first derivative of this function is $\sin^{x}(x)+\ln(\sin(x))+\frac{x\cos(x)}{\sin(x)}$. As with most other complex transcendental functions, this is not a simple derivative to work with. Could you show me some strategies to explore and graph this function manually. I would like to particularly find the red circle point found on this graph:

graph of sin^x(x)

I have also tried to plot this on Wolfram and its shape is similar. Is this an accurate shape at all or is the graphing device errorneous somehow?

$\endgroup$
5
  • $\begingroup$ Raising negative numbers to arbitrary real numbers doesn't work well over the reals. They're saying the function is undefined. $\endgroup$
    – saulspatz
    Mar 15, 2018 at 0:02
  • $\begingroup$ $\sin x$ is negative on these intervals $\endgroup$
    – Tob Ernack
    Mar 15, 2018 at 0:02
  • $\begingroup$ The point circled in red is certainly not $(0.399,0.686)$. It looks more like $(\pi/2,1)$ $\endgroup$
    – MasB
    Mar 15, 2018 at 0:14
  • $\begingroup$ You are right, the point $ (0.399,0.686)$ should be the point right next to the left hand side. Is there a way to find out this point? $\endgroup$ Mar 15, 2018 at 1:00
  • $\begingroup$ "Raising negative numbers to arbitrary real numbers doesn't work well over the reals. They're saying the function is undefined." I am not sure what does it mean by this? Isn't negative exponentiation of x^-x is simply 1/x^x? Or do you mean exponentiation operator as suggested in this thread: math.stackexchange.com/questions/317528/… $\endgroup$ Mar 15, 2018 at 1:00

2 Answers 2

5
$\begingroup$

The canonical way to define a power $a^b$ is to do $$ a^b:=e^{b\log a}. $$ This works great, but the problem is that it doesn't make sense when $a<0$. And that's the state of things. There is no natural way to define arbitrary powers of negative numbers (think $(-1)^{1/2}$ for an easy example).

So your function is not defined whenever $\sin x<0$, which is all the intervals $((2k-1)\pi,2k\pi)$. That's why your graph has so many gaps.

On the left axis, you have negative powers of $\sin x$, and that's why you get the asymptotic behaviour towards $x=-k\pi$, $k\in\mathbb N$.

I don't think you can expect to find the roots of the derivative analytically. At best, you could try Newton's method.

$\endgroup$
5
  • $\begingroup$ I don't understand what do you mean by asymptotic behaviour. So this function should not have a graph at all for negative x right? $\endgroup$ Mar 15, 2018 at 1:52
  • $\begingroup$ Yes, it does. Whenever $\sin x>0$, even if $x<0$, $\sin^xx$ makes sense. As you are taking negative powers, they go to infinity as they approach zero (at every $-k\pi$, $k\in\mathbb N$). $\endgroup$ Mar 15, 2018 at 2:34
  • $\begingroup$ Thanks, as a last question, what do you mean by "asymptotic behaviour"? $\endgroup$ Mar 15, 2018 at 2:44
  • $\begingroup$ That is goes to infinity approximating a vertical line ($x=-k\pi$, in this case). $\endgroup$ Mar 15, 2018 at 2:46
  • $\begingroup$ Ok, thank you for your clarification. $\endgroup$ Mar 15, 2018 at 2:50
0
$\begingroup$

Note that the function is not defined on reals for

  • $\sin x=x=0$ (but $\sin^x x \to 1$ for $x\to o^+$)
  • $\sin x<0$ (negative base is not well defined)
$\endgroup$
2
  • $\begingroup$ I am not all clear of your comment. Do you mean the function itself or its first derivative? $Sin(x)$ should be defined for x=0, no? $\endgroup$ Mar 15, 2018 at 1:03
  • $\begingroup$ I mean the function itself which is not defined for x=0. $\endgroup$
    – user
    Mar 15, 2018 at 1:09

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .