Do you think integration by parts will work?

Calculus Level 5

Continuous function f : [ 0 , 1 ] R f : [0, 1] \rightarrow \mathbb{R} satisfies following conditions

{ 0 1 f ( x ) d x = 1 0 1 x f ( x ) d x = 1 0 1 ( f ( x ) ) 2 d x = 4 \begin{cases} \displaystyle \int_{0}^{1} f(x) \ dx=1 \\ \displaystyle \int_{0}^{1} xf(x) \ dx=1 \\ \displaystyle \int_{0}^{1} (f(x))^2\ dx=4\end{cases}

Evaluate 0 1 ( f ( x ) ) 3 d x \displaystyle \int_{0}^{1} (f(x))^3 \ dx .


The answer is 10.

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
Jan 19, 2020

Note that 0 1 ( f ( x ) A B x ) 2 d x = A 2 + 1 3 B 2 + A B 2 A 2 B + 4 = ( A + 2 ) 2 + 1 3 ( B 6 ) 2 + ( A + 2 ) ( B 6 ) \int_0^1 \big(f(x) - A - Bx\big)^2\,dx \; = \; A^2 + \tfrac13 B^2 + AB - 2A - 2B + 4 \; = \; (A + 2)^2 + \tfrac13 (B - 6)^2 + (A + 2)(B - 6) Choosing A = 2 A = -2 , B = 6 B=6 tells us that 0 1 ( f ( x ) + 2 6 x ) 2 d x = 0 \int_0^1 \big(f(x) + 2 - 6x\big)^2\,dx \; = \; 0 so that f ( x ) = 6 x 2 f(x) = 6x - 2 for 0 x 1 0 \le x \le 1 . Thus 0 1 f ( x ) 3 d x = 0 1 ( 6 x 2 ) 3 d x = 10 \int_0^1 f(x)^3\,dx \; = \; \int_0^1(6x-2)^3\,dx \; = \; \boxed{10}

Nice illustration in proving that f ( x ) = 6 x 2 f(x) = 6x-2 for 0 x 1 0\leqslant x\leqslant1 , but is this a unique function of f ( x ) f(x) ? Can we prove it?

Pi Han Goh - 1 year, 4 months ago

Log in to reply

Since I have shown that 0 1 ( f ( x ) 6 x + 2 ) 2 d x = 0 \int_0^1\big(f(x)-6x+2\big)^2dx=0 that proves (since f f is continuous) that f ( x ) = 6 x 2 f(x)=6x-2 .

Mark Hennings - 1 year, 4 months ago

Log in to reply

Oh I missed that constraint (continuous part), I was thinking that I could come up with some "expression with floor function".

A blunder on my part. Thanks for your swift response as usual.

Pi Han Goh - 1 year, 4 months ago

Log in to reply

@Pi Han Goh If we dropped the continuity condition, the worst that could happen is that f ( x ) = 6 x 2 f(x) = 6x - 2 almost everywhere (the identity might fail on a set of Lebesgue measure zero). This would not affect the value of the integral of f 3 f^3 .

Mark Hennings - 1 year, 4 months ago

Log in to reply

@Mark Hennings I understood this as well. Wow, it took me less than 3 years to finally understand this statement.

You have my utmost respect.

Pi Han Goh - 1 year, 4 months ago

I think you skipped a step. To prove it's the only solution you have to show that the integrand is non-negative on the interval, so must be zero everywhere. That wasn't immediately obvious.

Ilya Lyubarsky - 1 year, 1 month ago

Log in to reply

@Ilya Lyubarsky No I didn't. The square of a real-valued function is non-negative, which is obvious.

Mark Hennings - 1 year, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...