How can I use variable transformation to obtain a solution for this ODE?

Click For Summary

Discussion Overview

The discussion revolves around solving a specific ordinary differential equation (ODE) involving variable transformations. Participants explore the implications of a proposed transformation and the resulting forms of the solution, examining the validity of terms and methods used in the derivation.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • Post 1 presents the ODE and a proposed solution form using a variable transformation \(y = u^{-\sigma}\).
  • Post 2 and Post 3 question the correctness of the power on the second term of the ODE's right-hand side.
  • Post 4 suggests that simplifying the equation by factoring out a common term leads to a solvable form of the ODE.
  • Post 6 outlines a method involving integration and substitutions to derive a solution, but expresses uncertainty about back-substituting to obtain the desired form.
  • Post 7 and Post 8 propose differentiating the equation to find a simpler form, with a correction noted regarding the constant term.
  • Post 9 identifies a specific value for a constant \(c_1\) but questions how to derive it without boundary conditions.
  • Post 10 and Post 11 clarify a previous typo and suggest returning to the original equation after substitution for further analysis.
  • Post 12 and Post 13 discuss the significance of the sign in a term and the use of hyperbolic identities, leading to further exploration of the relationship between constants derived from the solution.

Areas of Agreement / Disagreement

Participants express differing views on the correctness of terms in the ODE and the validity of various approaches to solving it. There is no consensus on the best method or the correctness of specific terms, indicating ongoing debate and exploration of the problem.

Contextual Notes

Participants note potential issues with the assumptions made in the transformations and the dependence on the definitions of constants. The discussion reflects a complex interplay of mathematical reasoning without resolving all uncertainties.

Dustinsfl
Messages
2,217
Reaction score
5
Given the following ODE
\[
\left(\frac{du}{dx}\right)^2 = \mu u^2 - \frac{2\alpha}{\sigma + 2}u^{\sigma + 2} - \frac{\gamma}{\sigma + 1}u^{2(\sigma + 1)}
\]
How do I obtain
\[
u(x) = \left(\frac{A}{B + \cosh(Dx)}\right)^{1/\sigma}
\]
where
\(A = \frac{(2 + \sigma)B\mu}{\alpha}\), \(B = \text{sgn}(\alpha)\left[1 + \frac{(2 + \sigma)^2\gamma}{(1 + \sigma)\alpha^2}\mu\right]^{-1/2}\), and \(D = \sigma\sqrt{\mu}\) with the variable transformation \(y = u^{-\sigma}\)?
 
Last edited:
Physics news on Phys.org
Is the power on the second term rhs of the equation correct?
 
Jester said:
Is the power on the second term rhs of the equation correct?

It should be \(\sigma + 2\).

I don't see how this variable change makes anything easier.
\(u = y^{-1/\sigma}\) so \(du = -\frac{1}{\sigma}y^{-(1 + 1/\sigma)}dy\) and \(u^{\sigma + 2} = y^{-(1+2/\sigma)}\) and \(u^{2(\sigma + 1)} = y^{-2(1+1/\sigma)}\).
 
Last edited:
You'll notice that each term has $u^{-2/\sigma}$ common so they cancel. So when you simplify your equation you should get

$\left(\dfrac{du}{dx}\right)^2 = au^2 + bu + c$

for some $a, b$ and $c$. This is solvable.
 
Jester said:
You'll notice that each term has $u^{-2/\sigma}$ common so they cancel. So when you simplify your equation you should get

$\left(\dfrac{du}{dx}\right)^2 = au^2 + bu + c$

for some $a, b$ and $c$. This is solvable.

What method is used to solve an ODE of this form?
 
\(\DeclareMathOperator{\arcsec}{arcsec}\)
\(\DeclareMathOperator{\sech}{sech}\)

How can I get to the final result from (see work below)?

For the moment, let \(\mu\sigma^2 = a\), \(\frac{2\alpha\sigma^2}{\sigma + 2} = b\), and \(\frac{\gamma\sigma^2}{\sigma + 1} = c\).
Then our ODE becomes
\[
\int\frac{du}{\sqrt{au^2 - bu - c}} = \pm x.
\]
For expression inside the square root, we will need to complete the square, make the subtition \(s = u\sqrt{a} - \frac{b}{2\sqrt{a}}\), \(s = i\sec(t)\sqrt{\frac{-b^2 - 4ac}{4a}}\), and \(t = \arcsec\Big(\frac{-2iu\sqrt{a}}{\sqrt{-b^2 - 4ac}}\Big)\).
After completing the square, we will have obtained
\[
\frac{1}{\sqrt{\frac{-b^2 - 4ac}{4a} +
\Big(u\sqrt{a} - \frac{b}{2\sqrt{a}}\Big)^2}}.
\]
Using our \(s\) substitution, \(ds = \sqrt{a}du\) so the integral becomes
\[
\int\frac{ds}{\sqrt{\frac{-b^2 - 4ac}{4a} + s^2}} = \pm x\sqrt{a}.
\]
Using our final substitution for \(s\), we have \(ds = i\tan(t)\sec(t)\sqrt{\frac{-b^2 - 4ac}{4a}}dt\), and then using our \(t\) substitution, we now have
\begin{align*}
\int\sec(t)dt &= \pm x\sqrt{a}\\
\ln(\tan(t) + \sec(t)) &= \pm x\sqrt{a}\\
\tan(t) + \sec(t) &= \big\{e^{x\sqrt{a}}, e^{-x\sqrt{a}}\big\}\\
2\sqrt{a}\sqrt{au^2 - bu - c} + 2au - b &=
\big\{\cosh\big(x\sqrt{a}\big), \sinh\big(x\sqrt{a}\big)\big\}
\end{align*}
Then when I keep the \(\cosh\) term and solve for \(u\), I have
\[
u(x) = \frac{2b + \cosh(Dx) + (b^2 + 4ac)\sech(Dx)}{4a}
\]
I have not idea how to back sub in the definitions of \(a\), \(b\), and \(c\) to get the correct form of \(u\).
 
Last edited:
You can do what you did but try differentiating. In doing so we obtain

$2 u' u'' = (2 a u +b) u' $

giving $u ' = 0$ or $u'' = au + b/a$. I think the latter is easier to solve than your approach.
 
Jester said:
You can do what you did but try differentiating. In doing so we obtain

$2 u' u'' = (2 a u +b) u' $

giving $u ' = 0$ or $u'' = au + b/a$. I think the latter is easier to solve then your approach.

This should be $u'' = au + b/2$, correct?

The solution to this ODE after making the substitution \(u^{-\sigma} = y\) is
\[
u(x) = \left(\frac{1}{\frac{b}{2a} + c_1\cosh(Dx)}\right)^{1/\sigma} = \left(\frac{1}{\frac{\alpha}{(\sigma + 2)\mu} + c_1\cosh(Dx)}\right)^{1/\sigma}
\]
as \(x\to\infty\), \(u\to 0\), and \(u'\to 0\).
\[
u'(x) = -\frac{c_1 D \sinh (D x) \left(\frac{1}{\frac{b}{2 a}+c \cosh (D x)}\right)^{\frac{1}{\sigma }+1}}{\sigma }
\]
I don't see a meaningful way to find \(c_1\). If I assume \(c_1 = 1\), then I can't produce the desired result either. So I think \(c_1\) isn't 1 since then I could factor out something to potential get \(A\) and \(B\).
 
Last edited:
I have determined that \(c_1 = \frac{1}{A} = \frac{\alpha}{(2 + \sigma)\mu B}\).
How do I get this value though?

I just worked through the problem to see what I needed for \(c_1\) without using the BC at infinity.
\[
u(x) = \left(\frac{A}{B + Ac_1\cosh(Dx)}\right)^{1/\sigma}
\]
 
Last edited:
  • #10
Yes, that was a typo. It should be $b/2$. As for finding the constant. Go back to the original equation after the substitution, namely

$ y'^2 = \mu \sigma^2 y^2 - \dfrac{2 \alpha \sigma^2}{\sigma+2} y - \dfrac{ \gamma \sigma^2}{\sigma+1}$

and substitute your solution.
 
  • #11
Jester said:
Yes, that was a typo. It should be $b/2$. As for finding the constant. Go back to the original equation after the substitution, namely

$ y'^2 = \mu \sigma^2 y^2 - \dfrac{2 \alpha \sigma^2}{\sigma+2} y - \dfrac{ \gamma \sigma^2}{\sigma+1}$

and substitute your solution.

With \(y(x) = \frac{b}{2a} + c_1\cosh(Dx)\), I get
\[
\left\{c\to -\frac{i \sqrt{\alpha ^2 (\sigma +1)+\gamma \mu (\sigma +2)^2}}{\sqrt{\mu } \sqrt{\sigma +1} (\sigma +2) \sqrt{\mu \left(\mu \sigma ^2 \sinh ^2\left(\mu \sigma ^2 x\right)-\cosh ^2\left(\mu \sigma ^2 x\right)\right)}}\right\},\left\{c\to \frac{i \sqrt{\alpha ^2 (\sigma +1)+\gamma \mu (\sigma +2)^2}}{\sqrt{\mu } \sqrt{\sigma +1} (\sigma +2) \sqrt{\mu \left(\mu \sigma ^2 \sinh ^2\left(\mu \sigma ^2 x\right)-\cosh ^2\left(\mu \sigma ^2 x\right)\right)}}\right\}
\]
which isn't \(\frac{1}{A}\) and the solution is complex. I used Mathematica to solve for the coefficient so I doubt there is a mistake.
 
  • #12
First, is it $\dfrac{b}{2a}$ or $- \dfrac{b}{2a}$. It really makes a difference. Second, you can use the hyperbolic sinh-cosh identity. Try that.
 
  • #13
\(\DeclareMathOperator{\sgn}{sgn}\)
Jester said:
First, is it $\dfrac{b}{2a}$ or $- \dfrac{b}{2a}$. It really makes a difference. Second, you can use the hyperbolic sinh-cosh identity. Try that.

If I use \(-\frac{b}{2a}\) and simplify, I get:
\[
\text{c1}\to \pm\frac{\sqrt{\alpha ^2 (\sigma +1)-\gamma \mu (\sigma +2)^2}}{\sqrt{\mu ^2 (\sigma +1) (\sigma +2)^2}}
\]
When I do some algebra, I get
\[
\frac{\alpha\sqrt{1 - \frac{\gamma\mu(2 + \sigma)^2}{\alpha^2(1 + \sigma)}}}{\mu(2 + \sigma)}
\]
but \(\frac{1}{A}\) is
\[
\frac{\alpha\sqrt{1 + \frac{\gamma\mu(2 + \sigma)^2}{\alpha^2(1 + \sigma)}}}{\mu(2 + \sigma)\sgn(\alpha)}
\]
So I have a negative when I need a positive and how do I pick up the \(\sgn(\alpha)\)?

Since \(\alpha^2\) is being factor out through the radical, \(\alpha\) can be both + or - so that is where the \(\sgn(\alpha)\) is picked up, correct? However, I still have a negative issue in the radical.
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
620
Replies
4
Views
3K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
7K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K