Tougher Differential Equation

Calculus Level 5

What could be the function of f ( x ) f(x) be if this differential equation is satisfied?

2 f ( x ) + f ( 2 x ) + 4 f ( 2 x ) 3 = f ( x ) ( ( f ( x ) + f ( x ) ) 2f'(x) + f'(2x) + 4f(2x) - 3 = f(x)((f'(x) + f(x))

ln(2x) + 1/x - 3 2e^(2x) - 1 2e^(4x) + 3 e^(2x) + ln(1/x) + 1 2e^(2x) + 1

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.

2 solutions

Evaluated the given equation at 0 0 :

3 f ( 0 ) + 4 f ( 0 ) = f ( 0 ) f ( 0 ) + f ( 0 ) 2 + 3 3f'(0)+4f(0) = f(0)f'(0)+f(0)^2 + 3 .

Wasn't hard to find out the answer after this.

Again, it doesn't help arrive at the solution..

Alex Burgess
Feb 26, 2019

One can first note that expressions for f ( x ) f(x) with ln ( g ( x ) ) \ln(g(x)) will have a term of order O ( ln 2 ( g ( x ) ) ) O(\ln^2(g(x))) that doesn't cancel out.

Letting f ( x ) = A e B x + C f(x)=Ae^{Bx}+C , the LHS becomes: 2 A B e B x + A B e 2 B x + ( 4 A e 2 B x + 4 C ) 3 = A ( B + 4 ) e 2 B x + 2 A B e B x + ( 4 C 3 ) 2ABe^{Bx}+ABe^{2Bx}+(4Ae^{2Bx}+4C)-3 = A(B+4)e^{2Bx} + 2ABe^{Bx}+ (4C-3) .

RHS becomes: ( A e B x + C ) ( A B e B x + ( A e B x + C ) ) = A 2 ( B + 1 ) e 2 B x + A C ( B + 2 ) e B x + C 2 (Ae^{Bx}+C)(ABe^{Bx}+(Ae^{Bx}+C)) = A^2(B+1)e^{2Bx} + AC(B+2)e^{Bx} + C^2

Equating terms of same order:

O ( 1 ) : C 2 = 4 C 3 C = 1 O(1): C^2 = 4C-3 \Rightarrow C = 1 or 3. 3.

O ( e B x ) : 2 A B = A C ( B + 2 ) B = 2 C 2 C = 2 O(e^{Bx}): 2AB = AC(B+2) \Rightarrow B = \frac{2C}{2-C} = 2 or 6 -6 for respective values of C.

O ( e 2 B x ) : A ( B + 4 ) = A 2 ( B + 1 ) A = ( B + 4 ) B + 1 = 2 O(e^{2Bx}): A(B+4) = A^2(B+1) \Rightarrow A = \frac{(B+4)}{B+1} = 2 or 2 5 \frac{2}{5} .

Hence solutions in this form are: 2 e 2 x + 1 2e^{2x}+1 or 2 5 e 6 x + 3 \frac{2}{5}e^{-6x}+3 .

I did it similarly, but are there any other solutions??? Solutions which are not necessarily in this form..........How do we go about finding them???

Aaghaz Mahajan - 2 years, 3 months ago

I mean f ( x ) = 1 f(x)=1 and 3 3 are solutions on their own.

Alex Burgess - 2 years, 3 months ago

Log in to reply

Yeah, but are are there any others??

Aaghaz Mahajan - 2 years, 3 months ago

@Alex Burgess Haha.. I didn't even notice the constant functions as solutions! Nice observation..

Krishnaraj Sambath - 2 years, 3 months ago

Ok, so one could consider a general Taylor series: f ( x ) = n = 0 a n x n f(x)=\sum_{n=0}^\infty a_n x^n .

Then, looking at the orders of O ( x n ) O(x^n) in the equation, we get:

( n + 1 ) ( 2 + 2 n ) a n + 1 + 2 n + 2 a n i = 0 n a i ( a n i + ( n + 1 i ) a n + 1 i ) 3 δ n , 0 = 0 (n+1)(2+2^n)a_{n+1} + 2^{n+2}a_n - \sum_{i=0}^n a_i (a_{n-i} + (n+1-i)a_{n+1-i}) - 3\delta_{n,0} = 0

Then you can factor out a n + 1 a_{n+1} : a n + 1 ( n + 1 ) ( 2 + 2 n a 0 ) = g ( a 0 , a 1 , . . . a n ) a_{n+1} (n+1)(2 + 2^n - a_0) = g(a_0, a_1, ... a_n) for some function g g .

Hence the terms a n a_n will be finite if a 0 ( 2 + 2 n ) n N a_0 \neq (2 + 2^n) \forall n\in \mathbb{N} .

For large n n : a n + 1 ( n + 1 ) ( 2 n ) 2 n + 2 a n a_{n+1} (n+1)(2^n) \approx - 2^{n+2}a_n , so a n + 1 4 n + 1 a 0 a_{n+1} \approx -\frac{4}{n+1}a_0 , and by the alternating series test, this converges.

For a 0 = 3 a_0 = 3 , we get ( 0 ) a 1 = ( 0 ) (0)a_1=(0) , so a 1 a_1 could take any value.

For a 0 = 1 a_0 = 1 , we get a n = 0 n N a_n = 0 \forall n \in \mathbb{N} .

Alex Burgess - 2 years, 3 months ago

Log in to reply

This is beautiful. Just if we assume that the solution is an analytic function.

Srikanth Tupurani - 2 years, 3 months ago

By f'(2x) should we not mean d/dx(f(2x))?

A Former Brilliant Member - 2 years, 3 months ago

Log in to reply

No, d ( f ( 2 x ) ) d x = 2 f ( 2 x ) \frac{d(f(2x))}{dx} = 2f'(2x) .

Alex Burgess - 2 years, 3 months ago

Nice guess. But if we want to find all possible solutions it is a headache. May be we can use existence uniqueness theorem or some other technique.

Srikanth Tupurani - 2 years, 3 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...