Domain of definition differential equations

Click For Summary
The discussion revolves around solving the differential equation x^7 x' = (x^8-300)t^6 with the initial condition x(0) = -2. The user derives the solution x(t) = (-44 e^(8/7 t^7) + 300)^(1/8) and seeks to determine the largest domain of definition by ensuring the expression inside the root is positive. The manipulation of the inequality leads to the conclusion that t must be less than (7/8 ln(300/44))^(1/7). A participant points out that the absolute value in the logarithm is unnecessary since 300/44 is positive, and the user acknowledges this clarification while also noting a simplification of the fraction. The solution approach is validated as correct.
arhzz
Messages
284
Reaction score
58
Homework Statement
Check for the biggest domain of definition
Relevant Equations
DE
Hello.

Considering this DE;

$$ x^7 x' = (x^8-300)t^6 $$ with inital value x(0) = -2

Now the solution for the initial value should be

C = -44;

And for x(t) I get ;

$$x(t) = (-44 e^{\frac{8}{7} t^7} + 300)^{\frac{1}{8}}$$

Now to get the biggest domain of definition I did this;

$$ -44 e^{\frac{8}{7} t^7} + 300 > 0 $$

And tried to isolate t; Here is how the manipulation went

$$ -44 e^{\frac{8}{7} t^7} > -300 $$ Now I divided with -44 and since I am dividing with a negative number the > sign should turn into <.

$$ e^{\frac{8}{7} t^7} < \frac{300}{44} $$ ln on both sides

$$ \frac{8}{7} t^7 < ln |\frac{300}{44}| $$ now dividing with 8/7 (I wrote it as multiplication with 7/8) and the 7th root I wrote as a fraction 1/7,hence I get;

$$ t < ( \frac{7}{8} ln |\frac{300}{44}| )^\frac{1}{7} $$

Is my solution correct? Am I allowed to solve these types of problems this way.
 
Last edited by a moderator:
Physics news on Phys.org
arhzz said:
Homework Statement:: Check for the biggest domain of definition
Relevant Equations:: DE

Hello.

Considering this DE;

$$ x^7 x' = (x^8-300)t^6 $$ with inital value x(0) = -2

Now the solution for the initial value should be

C = -44;

And for x(t) I get ;

$$x(t) = (-44 e^{\frac{8}{7} t^7} + 300)^{\frac{1}{8}}$$

Now to get the biggest domain of definition I did this;

$$ -44 e^{\frac{8}{7} t^7} + 300 > 0 $$

And tried to isolate t; Here is how the manipulation went

$$ -44 e^{\frac{8}{7} t^7} > -300 $$ Now I divided with -44 and since I am dividing with a negative number the > sign should turn into <.

$$ e^{\frac{8}{7} t^7} < \frac{300}{44} $$ ln on both sides

$$ \frac{8}{7} t^7 < ln |\frac{300}{44}| $$ now dividing with 8/7 (I wrote it as multiplication with 7/8) and the 7th root I wrote as a fraction 1/7,hence I get;

$$ t < ( \frac{7}{8} ln |\frac{300}{44}| )^\frac{1}{7} $$

Is my solution correct? Am I allowed to solve these types of problems this way.
Looks good to me. The only thing I spotted was that you wrote ##\ln|\frac{300}{44}|## in your solution. Here the absolute values aren't needed, since 300/44 is already positive.
 
  • Like
Likes arhzz and Delta2
Mark44 said:
Looks good to me. The only thing I spotted was that you wrote ##\ln|\frac{300}{44}|## in your solution. Here the absolute values aren't needed, since 300/44 is already positive.
Aha, good to know,our professor is quite picky. Also a friend of mine pointed out that we can simplify the fraction to be 72/11. Thanks for the answer as always!
 
First, I tried to show that ##f_n## converges uniformly on ##[0,2\pi]##, which is true since ##f_n \rightarrow 0## for ##n \rightarrow \infty## and ##\sigma_n=\mathrm{sup}\left| \frac{\sin\left(\frac{n^2}{n+\frac 15}x\right)}{n^{x^2-3x+3}} \right| \leq \frac{1}{|n^{x^2-3x+3}|} \leq \frac{1}{n^{\frac 34}}\rightarrow 0##. I can't use neither Leibnitz's test nor Abel's test. For Dirichlet's test I would need to show, that ##\sin\left(\frac{n^2}{n+\frac 15}x \right)## has partialy bounded sums...