An annoying derivative

For the discussion of math. Duh.

Moderators: gmalivuk, Moderators General, Prelates

User avatar
Qaanol
The Cheshirest Catamount
Posts: 2999
Joined: Sat May 09, 2009 11:55 pm UTC

An annoying derivative

Postby Qaanol » Sun Feb 26, 2017 10:07 pm UTC

I’m trying to take the derivative of a messy function at x=1. I’m pretty sure that y′(1) = 1, but I’m having a world of difficulty proving it. Here’s the setup:

t(x) = (2/π) · arcsin( (2/π) · ( arcsin(x) + x · √(1 - x²) ) )
y(x) = t · √(1 - t²) + x · (1 - √(1 - t²))

Now, I’m reasonably confident that the following are correct:

dt/dx = (8 · √(1 - x²)) / (π² · cos((π/2) · t))
dy/dx = 1 - √(1 - t²) + (dt/dx) · (1 + q·t - 2t²) / √(1 - t²)

It’s the next bit, trying to evaluate dy/dx at x=1, where I keep getting tangled up. When I applied L’Hôpital’s rule it just seemed to open a rabbit hole.
wee free kings

Nitrodon
Posts: 495
Joined: Wed Dec 19, 2007 5:11 pm UTC

Re: An annoying derivative

Postby Nitrodon » Mon Feb 27, 2017 2:44 am UTC

The proof of the product rule can also be used to show that if y(x) = u(x) · v(x) where u(c) = 0, u is differentiable at c, and v is continuous (not necessarily differentiable) at c, then y is differentiable at c, and y'(c) = u'(c) · v(c). This can be used to get rid of the annoying 0/0 terms obtained from the standard product rule.

By adding and subtracting some terms, we can write y(x) = (t - 1) · √(1 - t²) + (x - 1) · (1 - √(1 - t²)) + 1. After proving that t is (left) continuous and (left) differentiable at x=1, we can use the above to evaluate y'(1).

User avatar
Qaanol
The Cheshirest Catamount
Posts: 2999
Joined: Sat May 09, 2009 11:55 pm UTC

Re: An annoying derivative

Postby Qaanol » Mon Mar 20, 2017 4:10 pm UTC

Thanks, I ended up using L’Hôpital’s rule with respect to t, and the fact that the limit of a product is the product of the limits.

I’m not quite sure your approach works, since t′(1) = ∞.
wee free kings


Return to “Mathematics”

Who is online

Users browsing this forum: No registered users and 2 guests