Global maxima of f ( x ) f(x)

Calculus Level 5

A function f ( x ) f(x) is defined for non negative real numbers.It has its range as the set of real numbers.Given that f ( x ) f(x) is twice differentiable in its domain.Also, f ( 0 ) = 3 f(0)=-3 and the value of first derivative at x = 0 x=0 is 4. It is given that the sum of f ( x ) f(x) and second derivative of f ( x ) = x sin x f(x) = -x|\sin x| times the first derivative of f ( x ) f(x) ,

What is the maximum value of f ( x ) f(x) ?


The answer is 2.732.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Mark Hennings
Feb 19, 2016

We are being asked to consider the solution of the second order differential equation f ( x ) + x sin x f ( x ) + f ( x ) = 0 , x 0 , f''(x) + x|\sin x|f'(x) + f(x) \; = \; 0 \;, \qquad \qquad x \ge 0 \;, together with the initial conditions f ( 0 ) = 3 f(0) = -3 and f ( 0 ) = 4 f'(0) = 4 . This is a case of strangely damped SHM; energy considerations tell us that f ( x ) f(x) must tend to 0 0 as x x \to \infty . Define A ( x ) = 2 0 x u sin u d u , x 0 , A(x) \; = \; 2\int_0^x u|\sin u|\,du \;, \qquad \qquad x \ge 0 \;, noting that A ( x ) A(x) is a continuously differentiable increasing function of x 0 x \ge 0 with A ( 0 ) = 0 A(0) = 0 and A ( x ) = 2 x sin x 0 A'(x) \,=\, 2x|\sin x| \ge 0 for all x 0 x \ge 0 . Then d d x [ f ( x ) 2 + f ( x ) 2 ] = 2 f ( x ) ( f ( x ) + f ( x ) ) = A ( x ) f ( x ) 2 , \frac{d}{dx}\big[f(x)^2 + f'(x)^2\big] \; = \; 2f'(x)(f''(x) + f(x)) \; = \; -A'(x)f'(x)^2 \; , which means that f ( x ) 2 + f ( x ) 2 f(x)^2 + f'(x)^2 is a decreasing function of x 0 x \ge 0 . Thus f ( x ) 2 f ( x ) 2 + f ( x ) 2 f ( 0 ) 2 + f ( 0 ) 2 = 25 , x 0 , f(x)^2 \; \le \; f(x)^2 + f'(x)^2 \; \le \; f(0)^2 + f'(0)^2 \; = \; 25 \;, \qquad x \ge 0 \;, and so f ( x ) 5 |f(x)| \le 5 for all x 0 x \ge 0 . Moreover d d x [ e 1 2 A ( x ) f ( x ) ] = e 1 2 A ( x ) [ f ( x ) + 1 2 A ( x ) f ( x ) ] = e 1 2 A ( x ) f ( x ) e 1 2 A ( x ) f ( x ) = 4 0 x e 1 2 A ( u ) f ( u ) d u \begin{array}{rcl} \displaystyle \tfrac{d}{dx}\Big[e^{\frac12A(x)} f'(x)\Big] & = & \displaystyle e^{\frac12A(x)}\big[f''(x) + \tfrac12A'(x)f'(x)\big] \; = \; -e^{\frac12A(x)}f(x) \\ \displaystyle e^{\frac12A(x)}f'(x) & = & \displaystyle 4 - \int_0^x e^{\frac12A(u)} f(u)\,du \end{array}

If ξ \xi is a turning point of f ( x ) f(x) , then we must have 0 ξ e 1 2 A ( u ) f ( u ) d u = 4 . \int_0^\xi e^{\frac12A(u)}f(u)\,du \; = \; 4 \;. and f ( x ) 2 f ( x ) 2 + f ( x ) 2 f ( ξ ) 2 + f ( ξ ) 2 = f ( ξ ) 2 , x ξ , f(x)^2 \; \le \; f(x)^2 + f'(x)^2 \; \le \; f(\xi)^2 + f'(\xi)^2 \; = \; f(\xi)^2 \;, \qquad x \ge \xi \;, so that f ( x ) f ( ξ ) |f(x)| \le |f(\xi)| for all x ξ x \ge \xi . There are thus two possibilities:

  • If f f has no turning points, then f ( x ) > 0 f'(x) >0 for all x 0 x \ge 0 , and f ( x ) f(x) tends monotonically to 0 0 . In this case f ( x ) f(x) would have no maximum value, but would have least upper bound 0 0 .
  • If f f has a turning point ξ > 0 \xi > 0 , then the fact that 0 ξ e 1 2 A ( u ) f ( u ) d u = 4 \int_0^\xi e^{\frac12A(u)}f(u)\,du \; = \; 4 means that f ( x ) f(x) must be positive somewhere in the interval 0 x ξ 0 \le x \le \xi . Thus f ( x ) f(x) must have a strictly positive maximum value for 0 x ξ 0 \le x \le \xi and hence for all x 0 x \ge 0 . This maximum value of f ( x ) f(x) will occur at the first turning point of f f , and would lie between 0 0 and 5 5 .

Numerical solution of the differential equation in the interval 0 x π 0 \le x \le \pi shows that the second of these two options occurs; the function f ( x ) f(x) achieves its maximum value of approximately 2.7319696 \boxed{2.7319696} at the point x = 1.8246435 x = 1.8246435 .

Is there any way to do it without using numerical techniques?

A Former Brilliant Member - 5 years, 2 months ago

Log in to reply

I very much doubt it...

Mark Hennings - 5 years, 2 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...